nuprl / gradual-typing-performance
☆10Updated 6 years ago
Alternatives and similar repositories for gradual-typing-performance
Users that are interested in gradual-typing-performance are comparing it to the libraries listed below
Sorting:
- Racket bindings for Z3☆24Updated 6 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago
- Constructive Galois connections☆32Updated 7 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Updated 7 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- ☆14Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Denotational semantics based on graph and filter models☆23Updated 5 months ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month
- Deadlock freedom by type checking☆20Updated last year
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 6 years ago
- ModTT in Agda☆11Updated 3 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆82Updated 4 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 3 months ago
- ☆55Updated last month
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆42Updated 3 weeks ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆68Updated last month
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 5 years ago
- Stronger types for a few Typed Racket operators☆11Updated last year