#
Lists (32)
π½ Animation
5 repositories
πΌοΈ Art
3 repositories
π Binary Formats
55 repositories
π Bootstrapping
49 repositories
ποΈ Build systems
11 repositories
π Compilation
30 repositories
π¨ Creative Tools
37 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
9 repositories
π± Digital Gardens - Tools
42 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases53 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
π Fish Shell
4 repositories
π Fonts
27 repositories
πΉοΈ Game Development
2 repositories
πΉοΈ Games
2 repositories
π Geometric Algebra
18 repositories
π Memory Safe by Default
4 repositories
π± Module Systems - Case Studies
3 repositories
π± Module Systems - Languages
12 repositories
π‘ My Stack
14 repositories
βοΈ Nix - Example Configurations
12 repositories
βοΈ Nix - Tools
34 repositories
πΎ Nostalgia
28 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
6 repositories
π³ Structural Editing
14 repositories
π World Building - Conlanging
8 repositories
Starred repositories
Open-source personal bookmarks search engine
Lean theorem proving interface which feels like pen-and-paper proofs.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Hazel, a live functional programming environment with typed holes
A simple, fast and versatile Datalog database
Optimizer and compiler/toolchain library for WebAssembly
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Lean 4 programming language and theorem prover
The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC π¦¬
An introduction to programming language theory in Agda
A Git-compatible VCS that is both simple and powerful
openFrameworks is a community-developed cross platform toolkit for creative coding in C++.
An enterprise-class UI design language and React UI library
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
There can be more than Notion and Miro. AFFiNE(pronounced [Ιβfain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable anβ¦
Git Server with CI/CD, Kanban, and Packages. Seamless integration. Unparalleled experience.
Alternative Haskell Infrastructure for Nixpkgs
Emscripten: An LLVM-to-WebAssembly Compiler
An engine for displaying slips, the next-gen version of slides