uqbar-project / wollok-ts
TypeScript based Wollok language implementation
☆20Updated this week
Related projects ⓘ
Alternatives and complementary repositories for wollok-ts
- A summary of my activities during the past four years☆28Updated 3 weeks ago
- Concurrent IO language with Uniqueness Types☆9Updated 9 years ago
- ☆38Updated 2 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 5 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Updated 3 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- Simple conversion from Agda text to literate Agda text.☆14Updated 6 months ago
- A web server written in Coq.☆86Updated 8 years ago
- A very little language☆16Updated last year
- A simple implementation of linear type theory☆38Updated 7 years ago
- A formalization of Constructive Projective Geometry in Agda☆12Updated 5 years ago
- Adding extensions to DOT calculus☆23Updated 4 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆17Updated 3 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆11Updated 3 years ago
- ☆18Updated 2 years ago
- Exámenes de programación funcional con Haskell☆9Updated last year
- Typing Haskell in Haskell☆15Updated 14 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]☆13Updated 2 weeks ago
- Playing with incremental parsing and later compiler passes☆12Updated 5 years ago
- Mathematical stories☆13Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆15Updated 9 months ago
- Object Algebra Composition☆24Updated 11 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- apkg - package manager for Agda☆38Updated 3 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Updated 6 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- A http client for Idris based on libcurl☆10Updated 8 years ago