Pinned Loading

1. godot-s7-scheme godot-s7-scheme Public

   Godot engine language binding for the wonderful s7 Scheme

   C++ 14

2. idris2-lsp-vscode idris2-lsp-vscode Public

   Visual Studio Code integration for the Idris 2 language server

   TypeScript 30 14

3. krust-template krust-template Public template

   Kotlin on the outside, Rust on the inside, exchanging messages asynchronously.

   Kotlin 3

4. idris2dart idris2dart Public

   The Dart backend for Idris 2.

   Idris 49 5

5. idris-cil idris-cil Public

   A Common Intermediate Language backend for Idris 1

   Haskell 133 11

6. boo-lang/boo boo-lang/boo Public

   The Boo Programming Language.

   C# 888 151