thautwarm / PySExpr
S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for PySExpr
- ☆19Updated 7 years ago
- ☆17Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆21Updated 4 years ago
- ☆18Updated 6 years ago
- A general purpose relational language☆20Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆18Updated last year
- Operations with matrices, SWI pack☆12Updated 11 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- Optional types for Prolog☆16Updated 4 years ago
- An extended typed Lambda Calculus☆20Updated 3 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Your happy place for learning APL☆16Updated last year
- lean-related presentations☆16Updated 9 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Startle C Library☆18Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- IRisk Dashboard for ActivityLog2 -- this has been added to ActivityLog2☆11Updated 5 years ago
- This repository contains the Core and Extended source files of the Standard Library of the SaC programming language☆13Updated last week
- Poplog☆21Updated 14 years ago
- An experimental language with compile time bounds checking☆14Updated 5 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago