gradual-typing

an implementation of gradual typing in mit-scheme

Stars

9

Forks

0

Language

Scheme

Last Updated

May 14, 2023

Similar Repos
Repo Language Stars Description Updated At
OCaml 9 Implementation of Polymorphic Gradual Typing Sep 22, 2021
Racket 5 Gradual Typing Performance benchmarks Mar 05, 2023
Racket 4 Gradual typing performance plots May 18, 2022
Common Lisp 13 Gradual Typing for Common Lisp Mar 13, 2021
Racket 239 A bibliography on Gradual Typing Mar 08, 2023
Racket 2 Correctness test for gradual typing Mar 10, 2023
Clojure 208 DEPRECATED SEE BELOW Gradual typing for Clojure Mar 19, 2021
Scheme 9 MIT/GNU Scheme Mar 04, 2023
TypeScript 12 Option types for TypeScript with real gradual typing May 11, 2023
None 9 collection of short articles about Python's gradual typing system Apr 03, 2023
Scheme 5 MIT Scheme JSON utilities Aug 03, 2020
Scheme 62 Jupyter Kernel for MIT Scheme May 01, 2023
Go 1258 Fast, portable, non-Turing complete expression evaluation with gradual typing (Go) Aug 08, 2022
Cairo 3 Cairo implementation of Gradual Dutch Auctions Dec 12, 2022
Dockerfile 5 Dockerfiles for MIT-Scheme and Mechanics. Dec 10, 2022
Python 2 MIT Scheme GUI. Prototype for mksv3 Nov 26, 2014
JavaScript 59 MIT Scheme environment for the browser Oct 19, 2022
Scheme 8 Hash-array mapped trie in mit-scheme Dec 22, 2021
Scheme 2 Exercises from SICP, done in mit-scheme Jun 21, 2021
Shell 2 Docker image to run MIT/GNU Scheme Aug 15, 2021
C++ 805 A Clojure dialect on LLVM with gradual typing, a native runtime, and C++ interop Sep 02, 2022
Solidity 35 GOO(Gradual Ownership Optimization) issuance implementation using Huff Apr 20, 2023
Scheme 2 MIT Scheme wrapped in a Node.js Duplex Stream Aug 03, 2020
Scheme 3 A simulator for Braitenberg vehicles, as described by A. K. Dewdney. May 30, 2020
Scheme 4 Guix channel with some packages that I use Mar 18, 2022
Scheme 4 A compiler for Eior which is just like scheme Mar 27, 2018
Scheme 4 Repository voor Respec/Markdown documenten voor Toepassings Profiel Omgevings Documenten (TPOD) Jan 10, 2022
    avaa-openstreetmap-geoserver
Scheme 4 None Jul 24, 2022
Scheme 4 Automatically exported from code.google.com/p/cpscm Jun 19, 2022
Scheme 4 Purely-functional Object-Oriented System - The present code implements a classless, delegation-based OO system, similar to … Jan 16, 2022
Scheme 4 Organiseren van gebiedsniveaus Dec 13, 2021
Scheme 4 Documentation for the digiKam photo management application Dec 07, 2021
Scheme 4 The WeScheme server compiler Jun 14, 2019
Scheme 4 source for gauche Aug 13, 2019
Scheme 4 My solutions to the SICP in Scheme. Jun 16, 2014
Scheme 4 Source of the SuperTux addons Dec 29, 2021
Scheme 4 First steps in Godot that might (at some point) result in getting SuperTux ported over Sep 07, 2020
Scheme 4 Solution of the extra problem set of the book How to Design Programs (also known … Nov 01, 2013
Scheme 4 A public space for contributing to WFP's corporate Needs Assessment and Monitoring analysis of micro-data. Mar 10, 2022
Scheme 4 GIMP Scripts for Screenshot Processing Feb 04, 2022
Scheme 4 Highly accessible Bootstrap 4 theme which you can use as a starter for your CWP … Jul 24, 2022
Scheme 4 Mac Scripting with GuileScript Jul 22, 2022
Scheme 4 JSON Web Token module for Guile Jun 19, 2022
Scheme 4 BRACU CSE 250: Circuits and Electronics, Fall-2020 Mar 15, 2022
Scheme 4 An addon to WeakAuras that adds a new region type that allows for stop motion … Jan 25, 2021
Scheme 4 The module for my life story project that contains my Boom Beach gameplay images. Aug 26, 2022
Scheme 4 Festival extensions and utilities, focused on interaction with Speech Dispatcher Jul 07, 2022
Scheme 5 Code for the book The Little Schemer Dec 06, 2021
Scheme 5 Syrup is a simple binary way of preserving data on the wire, with perhaps a … Oct 31, 2021
Scheme 5 Simple styles based on Natural Earth data Mar 29, 2022