UCSD-PL / refscript
Refinement Types for Scripting Languages
☆65Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for refscript
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- formalization of the Dependent Object Types (DOT) calculus☆154Updated 8 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Higher-kinded programming in OCaml☆180Updated last year
- OCaml extended with modular implicits☆103Updated 6 years ago
- Idris for Visual Studio Code☆106Updated 2 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- Prototype type inference engine☆197Updated 3 months ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated 3 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Introduction to algebraic effects and handlers☆93Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆70Updated 5 years ago
- ☆80Updated 6 months ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Dependent Object Types (DOT), bottom up☆83Updated 2 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Js libraries for idris☆49Updated 4 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- A Idris Mode for Atom.io☆100Updated 3 months ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Example row-polymorphism implementations☆59Updated last year
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Parser combinators for Idris☆239Updated 5 years ago
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- The Evolution of a Typechecker☆54Updated 5 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago