Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Motoko
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- V
- Verilog
- WebAssembly
- Zig
Starred repositories
A blog on AI, personal development, and living a good life.
You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
Optimized implementation for color-icon-matrix barcodes
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
An open file format for infinite canvas data.
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
Open standard for machine learning interoperability
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
A programmable markup language for generating HTML.
A functional, content-addressable programming language.
Simple, elegant, Pythonic functional programming.
Like ARC, but code to generate visual puzzles. 1D puzzles first.
✨Functional and composable type utilities
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
A sample speech transcription app implementing OpenAI Text to Speech API based on Whisper, an automatic speech recognition (ASR) system, built using Next 13, the React framework
A simple text editor for iOS that integrates directly with iOS Files.
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
The Abstraction and Reasoning Corpus made into a web game
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
FastGPT is a knowledge-based platform built on the LLMs, offers a comprehensive suite of out-of-the-box capabilities such as data processing, RAG retrieval, and visual AI workflow orchestration, le…