mfourne / prolog
A prolog interpreter written in Haskell.
☆8Updated 4 years ago
Alternatives and similar repositories for prolog:
Users that are interested in prolog are comparing it to the libraries listed below
- source code for the bondi programming language☆40Updated 6 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- a functional programming language with algebraic effects and handlers☆81Updated last month
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- apkg - package manager for Agda☆37Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- Finite domain constraint solver in Haskell☆19Updated 3 years ago
- Constraint Handling Rules☆16Updated 6 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- Idris port of Haskell's sop-core library☆34Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆56Updated 11 months ago
- A core language and API for dependently typed languages☆90Updated last month
- a self-hosting lambda calculus compiler☆35Updated this week
- Optional types for Prolog☆16Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆13Updated last month
- Build tool for ATS.☆41Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- A toy dependent typed language.☆28Updated last week