Lists (1)
Sort Name ascending (A-Z)
- All languages
- ATS
- Agda
- Arduino
- Assembly
- AutoHotkey
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dafny
- Dockerfile
- Eagle
- Emacs Lisp
- Erlang
- F*
- Factor
- Fortran
- G-code
- GAP
- GLSL
- Gherkin
- Go
- Groovy
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Modelica
- MoonScript
- NSIS
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- Processing
- Python
- Raku
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Vala
- Verilog
- Visual Basic
- Visual Basic .NET
- Vue
- Wikitext
- hoon
- nesC
Starred repositories
Kaspa full-node reference implementation and related libraries in the Rust programming language
The current, performant & industrial strength version of Holochain on Rust.
An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.
A TTS model capable of generating ultra-realistic dialogue in one pass.
An initial implementation of socialist planning, insipired by W. Paul Cockshott and Allin Cottrell's book "Towards a new socialism"
Code and data for the Chain-of-Draft (CoD) paper
A NES emulator written in C# for playing back TASes
Decentralized GPU for Machine Learning Workloads.
11 Lessons to Get Started Building AI Agents
WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning
[IEEE TMM 2024] A Prior Guided Wavelet-Spatial Dual Attention Transformer Framework for Heavy Rain Image Restoration
Hierarchical Attention Transformers (HAT)
Software and hardware for Arduino-based orgasm prediction / detection
Flexible and powerful framework for managing multiple AI agents and handling complex conversations
An Open-Source Machine Learning Framework in Rust Δ
Provides automated reverse engineering assistance through the use of local large language models (LLMs) on consumer hardware.
An essay on the technical problem of resurrecting all humans who have ever lived
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
An attempt to help anyone interested in using Perl for Bioinformatics
Code moved to: https://github.com/ProjectSPAN The SPAN project is an open source framework for Android Mesh Networking (MANET) exploraiton.
Haskell implementation of open games
My exposition of the formalization of Hegel's theory in modal homotopy type theory
Mommy's here to support you when running cargo~