Skip to content
This organization was marked as archived by an administrator on Oct 26, 2023. It is no longer maintained.
Change the repository type filter

All

    Repositories list

    • .github

      Public archive
      GitHub workflow templates
      BSD 3-Clause "New" or "Revised" License
      4000Updated Jun 7, 2023Jun 7, 2023
    • racket-langserver

      Public archive
      Racket
      Other
      24000Updated Nov 27, 2022Nov 27, 2022
    • debug

      Public archive
      a racket lang-extension for debugging, and a macro for inserting a debug-repl
      Racket
      Other
      5000Updated Nov 26, 2022Nov 26, 2022
    • rml-core

      Public archive
      Racket Machine Learning
      Racket
      MIT License
      4000Updated Nov 26, 2022Nov 26, 2022
    • disassemble

      Public archive
      Disassembler for Racket
      Scheme
      MIT License
      14000Updated Nov 26, 2022Nov 26, 2022
    • racket-cas

      Public archive
      Simple computer algebra system
      Racket
      10000Updated Nov 26, 2022Nov 26, 2022
    • rackt

      Public archive
      An ultrasmall (~70 loc) React wrapper written in RacketScript
      Racket
      Other
      7000Updated Nov 26, 2022Nov 26, 2022
    • racket-gui-easy

      Public archive
      Declarative GUIs in Racket.
      Racket
      18000Updated Nov 26, 2022Nov 26, 2022
    • resyntax

      Public archive
      A Racket refactoring engine
      Racket
      Apache License 2.0
      10000Updated Nov 26, 2022Nov 26, 2022
    • refinedt

      Public archive
      Refined types + dependent types = ❤️
      Agda
      6000Updated Nov 26, 2022Nov 26, 2022
    • bindingspec

      Public archive
      Racket
      5000Updated Nov 26, 2022Nov 26, 2022
    • syntax-extension

      Public archive
      An extension of syntax module
      Racket
      Apache License 2.0
      0000Updated Nov 14, 2022Nov 14, 2022
    • racket-tw.github.io

      Public archive
      racket taiwan site
      Racket
      Other
      2100Updated Nov 12, 2022Nov 12, 2022
    • magic-racket

      Public archive
      The best coding experience for Racket in VS Code
      TypeScript
      GNU General Public License v3.0
      28000Updated Oct 23, 2022Oct 23, 2022
    • try-goblins

      Public archive
      Try library: goblins
      Racket
      Other
      0100Updated Aug 28, 2022Aug 28, 2022
    • minitt

      Public archive
      MiniTT in racket
      Racket
      Apache License 2.0
      0000Updated Aug 25, 2022Aug 25, 2022
    • drracket

      Public archive
      DrRacket, IDE for Racket
      Racket
      Other
      93000Updated Mar 30, 2022Mar 30, 2022
    • racket

      Public archive
      The Racket repository
      Scheme
      Other
      657000Updated Mar 10, 2022Mar 10, 2022
    • cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf
      Python
      1000Updated Jan 6, 2022Jan 6, 2022
    • raco-format

      Public archive
      Indent racket files from CLI.
      Racket
      Other
      2000Updated Nov 3, 2021Nov 3, 2021
    • imin

      Public archive
      A nanopass compiler for (a subset of) Racket -> x86-64, implemented in Racket
      Racket
      1000Updated Nov 3, 2021Nov 3, 2021
    • r16

      Public archive
      GitHub mirror of https://git.sr.ht/~williewillus/r16. Pull Requests are not accepted here, please submit patches to the upstream mailing list.
      Racket
      MIT License
      0000Updated Oct 29, 2021Oct 29, 2021
    • racket-peg-ee

      Public archive
      Racket
      MIT License
      1000Updated Aug 26, 2021Aug 26, 2021
    • pdb

      Public archive
      Multi-file check-syntax database
      Racket
      2000Updated Jul 22, 2021Jul 22, 2021
    • pie

      Public archive
      The Pie language, which accompanies The Little Typer by Friedman and Christiansen
      Racket
      GNU Affero General Public License v3.0
      57000Updated Jul 12, 2021Jul 12, 2021
    • soft-contract

      Public archive
      A prototype of soft contract verification for an untyped functional language
      Racket
      MIT License
      10000Updated Jun 6, 2021Jun 6, 2021
    • j-bob

      Public archive
      Scheme
      BSD 2-Clause "Simplified" License
      62000Updated Jun 6, 2021Jun 6, 2021
    • macrotypes

      Public archive
      Racket
      BSD 2-Clause "Simplified" License
      14000Updated May 27, 2021May 27, 2021
    • macro-as-type

      Public archive
      Show how to use macro as type system
      Racket
      Other
      0000Updated Mar 3, 2021Mar 3, 2021
    • The sample that demonstrates how to use megaparsack, srcloc, and nanopass to build a compiler frontend
      Racket
      Other
      0000Updated Jan 7, 2021Jan 7, 2021