Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 20 Types Racket Open Source Projects

Open source projects categorized as Types Racket
Hackett ⭐ 982
WIP implementation of a Haskell-like Lisp in Racket
most recent commit 4 years ago
Typed Racket ⭐ 494
Typed Racket
most recent commit 3 months ago
Vim Racket ⭐ 232
vim bundle for Racket
most recent commit a year ago
7gui ⭐ 54
the 7 gui project
most recent commit 4 months ago
Mincaml ⭐ 34
A MinCaml compiler implemented in Rust
most recent commit a year ago
Datatype ⭐ 33
(Somewhat) Algebraic Data Types for Racket
most recent commit a year ago
Tt Playground ⭐ 19
A playground for type theory implementations in Racket
most recent commit 8 years ago
Pyalgebraicdatatypes ⭐ 17
most recent commit 11 years ago
Mess ⭐ 15
Martin-Löf Extensible Specification and Simulator
most recent commit 9 years ago
Json Type Provider ⭐ 12
Well-typed JSON parser generator inspired by Type Provider
most recent commit 3 years ago
Racket Paint ⭐ 12
A simple paint program in Racket
most recent commit 2 years ago
Tscheme ⭐ 7
a experiment to implement HM type system on Racket/scheme
most recent commit 4 years ago
Type Conventions ⭐ 6
A Typed Racket package that allows for function arguments to be declared as having a default type
most recent commit 8 years ago
Loli ⭐ 6
A toy lambda calculus language featuring lazy evaluation like Haskell
most recent commit 5 years ago
Rmc ⭐ 6
rmc - Racket-Made C
most recent commit 7 years ago
Refined ⭐ 5
most recent commit 5 years ago
Infernalize ⭐ 5
most recent commit 6 years ago
Judgmental Resugaring ⭐ 5
most recent commit 6 years ago
Wort ⭐ 5
A core concatenative programming language with variables and first-rank polymorphic type inference
most recent commit 4 years ago
Tetris ⭐ 5
Full-fledged version of tetris
most recent commit 3 years ago
The 5 Latest Releases In Types Racket Open Source Projects
Hackett ⭐ 982
WIP implementation of a Haskell-like Lisp in Racket
latest release December 10, 2023most recent commit 4 years ago
Datatype ⭐ 33
(Somewhat) Algebraic Data Types for Racket
latest release December 01, 2023most recent commit a year ago
Rmc ⭐ 6
rmc - Racket-Made C
latest release November 27, 2023most recent commit 7 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.