Popular repositories Loading

1. ogre-next ogre-nextPublic

   Forked from OGRECave/ogre-next

   Ogre 2.1 & 2.2 - scene-oriented, flexible 3D engine written in C++

   C++

2. Idris2 Idris2Public

   Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

3. idris2-lsp idris2-lspPublic

   Forked from idris-community/idris2-lsp

   Language Server for Idris2

   Idris

4. Online2DIrregularBPP Online2DIrregularBPPPublic

   Forked from Naimad1CZ/Online2DIrregularBPP

   My implementation of online 2D irregular BPP algorithm with state-of-the-art picking policy minimal surrounding waste.

   Python

5. node-ts2hx node-ts2hxPublic

   Forked from jeremyfa/node-ts2hx

   Typescript to Haxe transpiler written in JavaScript

   JavaScript

6. scryer-prolog scryer-prologPublic

   Forked from mthom/scryer-prolog

   A modern Prolog implementation written mostly in Rust.

   Rust