PinnedLoading

1. voltbras/ts-ocppvoltbras/ts-ocppPublic

   ⚡ OCPP (Open Charge Point Protocol) implemented in Typescript.

   TypeScript 47 25

2. rust-raytracerrust-raytracerPublic

   A raytracer implemented in Rust. Only for fun

   Rust 4

3. tapl-impltapl-implPublic

   This repository is meant to be a personal collection of implementations of the concepts from the TaPL(Types and Programming Languages) book.

   Haskell 7

4. dep-ttdep-ttPublic

   A programming language with dependent types

   Haskell 1

5. Interaction-Type-TheoryInteraction-Type-TheoryPublic

   Forked fromVictorTaelin/Interaction-Type-Theory

   Rust 6 1

6. HigherOrderCO/hvm-64HigherOrderCO/hvm-64Public

   Rust 496 34