Pinned Loading

1. usethesource/rascal-language-servers usethesource/rascal-language-servers Public

   An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.

   Java 15 8

2. usethesource/rascal usethesource/rascal Public

   The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

   Java 406 78

3. usethesource/vallang usethesource/vallang Public

   Generic immutable recursive data representation API targeted at source code models and more.

   Java 36 13

4. compact25519 compact25519 Public

   A compact portable X25519 + Ed25519 implementation

   C 33 11

5. portable8439 portable8439 Public

   Portable 8439: ChaCha20-Poly1305 (RFC 8439) in portable & fast C99

   C 31 5

6. SWAT-engineering/kiwi-air-monitor SWAT-engineering/kiwi-air-monitor Public

   Kiwi monitor is an open source CO2/Humidity/Temperature sensor intended for monitoring the quality of the air in a room. Kiwi was created to support teachers with a notification to ventilate their …

   C++ 10 2