Lists (3)
Sort Name ascending (A-Z)
- All languages
- Agda
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Cirru
- Coq
- Crystal
- Cuda
- F*
- Factor
- Go
- Groovy
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Mathematica
- Nim
- OCaml
- Odin
- PEG.js
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- ShaderLab
- Shell
- Standard ML
- Svelte
- TeX
- TypeScript
- V
- Vim Script
- WebAssembly
- Yacc
- Zig
- mcfunction
Starred repositories
Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.
A complete tool for building and publishing Electron applications
Defines a common protocol for language servers.
A lightweight, easy to use injection library which doesn't require bytecode writing skills
Fork of wasmtime for protoyping WASIp3 work and coordination, not intended for any production use case, purely for development
tool for turning Lean proofs into Blender animations
Eventually a practical 2-level TT-based compiler
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Java bytecode to WebAssembly compiler
A modern runtime for JavaScript and TypeScript.
A small, fast, JavaScript-based JavaScript parser
Javascript library for detecting and transforming between Hiragana, Katakana, and Romaji
A complete harfbuzz's shaping algorithm port to Rust
🌼 🌼 🌼 🌼 🌼 The most popular, free and open-source Tailwind CSS component library
Limbo is a project to build the modern evolution of SQLite.
A curated list of awesome JIT frameworks, libraries, software and resources
A WebAssembly runtime built on Kotlin Multiplatform
WebAssembly specification, reference interpreter, and test suite.
Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅
Embeddable Postgres with real-time, reactive bindings.