-
Quadrinous
- Bangalore
- blog.quadrinous.com
- @appanp
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AGS Script
- ANTLR
- ActionScript
- Apex
- Assembly
- Ballerina
- Batchfile
- Bicep
- Bikeshed
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Go
- Go Template
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Less
- LiveScript
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mermaid
- Mustache
- NSIS
- Nim
- OCaml
- Objective-C
- PEG.js
- PHP
- Pascal
- Perl
- PlantUML
- PowerShell
- Prolog
- Python
- R
- ReScript
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Shell
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- TypeSpec
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Web Ontology Language
- XSLT
- YARA
- Zeek
- Zig
Starred repositories
The simplest, fastest repository for training/finetuning medium-sized GPTs.
[Arxiv] Discrete Diffusion in Large Language and Multimodal Models: A Survey
LLaDA is a diffusion model for natural language that, unlike traditional autoregressive models, learns to model the distribution of text through a process of progressive data masking and its invers…
The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
Official repository for TPAMI2024 "A Survey of Label-Efficient Deep Learning for 3D Point Clouds"
Tools based on AI for helping with Lean 4
[COLM 2024] A Survey on Deep Learning for Theorem Proving
Tool for data extraction and interacting with Lean programmatically.
Retrieval-Augmented Theorem Provers for Lean
Pocket Flow: Codebase to Tutorial
Command-line XML and HTML beautifier and content extractor
Structured state space sequence models
Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
Hackable CLI tool for converting Markdown files to PDF using Node.js and headless Chrome.
Run frontier LLMs and VLMs with day-0 model support across GPU, NPU, and CPU, with comprehensive runtime coverage for PC (Python/C++), mobile (Android & iOS), and Linux/IoT (Arm64 & x86 Docker). Su…
Low-latency AI engine for mobile devices & wearables
🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.
💫 Toolkit to help you get started with Spec-Driven Development
Using Docling to create an AI assistant out of any PDF book in minutes
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
The original source code of Microsoft GW-BASIC from 1983
Koog is the official Kotlin framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-brows…