realar-project/realar

5 kB Advanced state manager for React

Language: TypeScript - Size: 1.32 MB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 45 - Forks: 0

Matheritasiv/pi

Calculating PI with unlimited precision in scheme language

Language: Scheme - Size: 200 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

Matheritasiv/binaries

Arithmetic system of 2-adic numbers in scheme language

Language: Scheme - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

Copilot-Language/copilot-language 📦

(DEPRECATED) Front-end of Copilot defining the user language.

Language: Haskell - Size: 356 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 3

Copilot-Language/copilot-core 📦

(DEPRECATED) Intermediate representation for Copilot.

Language: Haskell - Size: 386 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 2

rivit98/object-oriented-technologies 📦

Language: Java - Size: 246 KB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Matheritasiv/series

Formal power series and 10-adic integers in scheme language

Language: Scheme - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

pveber/pipes

Stream programming in the style of Haskell's {pipe, conduit, iteratee}

Language: OCaml - Size: 33.2 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1