Pinned Loading

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

   Godot engine language binding for the wonderful s7 Scheme

   C++ 8

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

   Visual Studio Code integration for the Idris 2 language server

   TypeScript 29 13

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 50 5

5. idris-cil idris-cil Public

   A Common Intermediate Language backend for Idris 1

   Haskell 132 11

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

   The Boo Programming Language.

   C# 873 148