#
Starred repositories
A collection of formalized statements of conjectures in Lean.
a playground for making 3D art with lisp and math
Kotlin Language Server and plugin for Visual Studio Code
a language trying to be flexible about expression, but strict about state
Proof assistant based on the λΠ-calculus modulo rewriting
Provides <script type="pluto"> and high-level APIs.
Staging repo for development of native port of TypeScript
Study of Inductive Program Synthesis by Using a Reversible Meta-Interpreter (Numao & Shimura, 1997)
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Geo-scale, next-generation peer-to-peer sharing platform built on top of OpenZiti.
π³ Efficient Triton implementations for "Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention"
NxN Magic square problem solved, using backtracking technique
Bibliography of Scheme-related Research
Learn to read and write Mojo code by fixing small programs
A Machine Learning framework from scratch in Pure Mojo π₯
NuMojo is a library for numerical computing in Mojo π₯ similar to numpy in Python.
A Cross Platform Graphics API For Kotlin JVM and Kotlin JS
A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
High Performace IDE for Jupyter Notebooks
Code to train and evaluate Neural Attention Memory Models to obtain universally-applicable memory systems for transformers.
A collection of awesome Odin libraries, bindings, software and resources π§ββοΈ