Skip to content
Change the repository type filter

All

    Repositories list

    • A java file watcher that works across platforms and supports recursion, single file watches, and tries to make sure no events are missed. Where possible it uses…
      Java
      01103Updated Feb 1, 2026Feb 1, 2026
    • A tool to trigger multiple remote borg backups, being carefull with SSH keys
      Go
      0022Updated Feb 1, 2026Feb 1, 2026
    • bird

      Public
      Java
      0110Updated Jan 14, 2026Jan 14, 2026
    • rascal-git

      Public
      Java
      3000Updated Dec 3, 2025Dec 3, 2025
    • 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 wi…
      C++
      210211Updated Dec 2, 2025Dec 2, 2025
    • The Maven plugin for Rascal checking, compilation, testing, code generation applications integration and documentation generation.
      Java
      5000Updated Nov 27, 2025Nov 27, 2025
    • fork of checker-framework annotations
      Java
      6.2k000Updated Oct 30, 2025Oct 30, 2025
    • Rascal
      1000Updated Oct 1, 2025Oct 1, 2025
    • php-analysis

      Public
      PHP language analyses in Rascal
      Rascal
      8000Updated Oct 1, 2025Oct 1, 2025
    • Rascal
      1000Updated Oct 1, 2025Oct 1, 2025
    • An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
      Java
      13000Updated Sep 19, 2025Sep 19, 2025
    • rascal

      Public
      The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
      Java
      82000Updated Sep 19, 2025Sep 19, 2025
    • A generic framework for implementing rename refactorings in Rascal.
      Rascal
      0000Updated May 1, 2025May 1, 2025
    • Rascal
      0240Updated Nov 18, 2024Nov 18, 2024
    • Defines a common protocol for language servers.
      HTML
      928000Updated Sep 26, 2024Sep 26, 2024
    • Deploy with maven and add artifact to github action
      TypeScript
      1011Updated Sep 12, 2024Sep 12, 2024
    • Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
      TypeScript
      378000Updated Aug 22, 2024Aug 22, 2024
    • gmbackup

      Public
      Simple tool to backup a Gmail account
      Go
      1000Updated Jun 7, 2024Jun 7, 2024
    • ExTester: Your Essential UI Testing Companion for Visual Studio Code Extensions! Seamlessly execute UI tests with Selenium WebDriver, ensuring robustness and re…
      TypeScript
      81000Updated Apr 17, 2024Apr 17, 2024
    • nescio

      Public
      Rascal
      0000Updated Feb 7, 2024Feb 7, 2024
    • CSS
      0000Updated Jan 23, 2024Jan 23, 2024
    • Dockerfile
      0000Updated Mar 7, 2023Mar 7, 2023
    • typhonql

      Public
      Typhon Query Language
      Rascal
      1000Updated Feb 9, 2021Feb 9, 2021
    • Simple tcp proxy that also forwards everything to a second backend (of which the replies are ignored)
      Go
      0000Updated Jan 21, 2020Jan 21, 2020
    • TypeScript
      1100Updated Aug 30, 2018Aug 30, 2018
    • dan

      Public
      Rascal
      1320Updated Aug 16, 2018Aug 16, 2018
    • TeX
      1110Updated Jun 13, 2018Jun 13, 2018
    • metal

      Public
      A Java library for parsing binary data formats, using declarative descriptions.
      Java
      10000Updated Dec 7, 2017Dec 7, 2017