#
Starred repositories
Agda is a dependently typed programming language / interactive theorem prover.
Small demo project showing how to compact sparse textures on GPUs efficiently in unity.
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Instant neural graphics primitives: lightning fast NeRF and more
Reviving the language that brought us the Jak & Daxter Series
mTvare6 / hello-world.rs
Forked from b4skyx/hello-world.rs🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1092🚀) dependencies🚀
Notes on Functional Programming and related topics
Lightning-fast and Powerful Code Editor written in Rust
SDK for private data access, built on homomorphic encryption.
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Fonts generated from original bitmaps from Atari 8bit computers
GUI for a Vocal Remover that uses Deep Neural Networks.
A local-first personal finance app
Manifold Markets: A market for every question
JetBrains Mono – the free and open-source typeface for developers
An intepreter for a simple dynamic language written in Rust
