Pinned Loading

1. fadeno-lang fadeno-lang Public

   A declarative/functional dependenly-typed programming language aimed at total programming, inspired by Cedille

   Haskell

2. dentrado-poc dentrado-poc Public

   A proof-of-concept for a functional-reactive database management system

   Haskell 1

3. Entity-Component-System-vs-Functional-Reactive-Programming-vs-Object-Oriented Entity-Component-System-vs-Functional-Reactive-Programming-vs-Object-Oriented Public

   Implementation of a simple model in Unity Engine to compare multiple approaches to implementing real-time simulations, including Entity Component System, Obect-Oriented approach, Functional Reactiv…

   C# 1

4. DarkLordRowan/shanks-university DarkLordRowan/shanks-university Public

   Forked from ekaterina-Titorenko/shanks-university

   C++ 6 2

5. idris2-proof-greedy idris2-proof-greedy Public

   Formal verification of GreedyDiff/GreedyRatio algorithms for the problem of minimizing weighted sum of completion times

   Idris

6. pose-prediction-mamba2-tpu pose-prediction-mamba2-tpu Public

   A WIP autoregressive pose prediction on top of Mamba2, trained on Google TPUs with JAX

   Python