lambduli/minilog

A small logic programming language.

Language: Haskell - Size: 89.8 KB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 1

lambduli/reading

My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.

Size: 122 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

lambduli/lambduli

Size: 334 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0

lambduli/detour

A toy proof-checker for first-order logic natural deduction with Fitch-style notation.

Language: Haskell - Size: 269 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

lambduli/original-glask 📦

A statically typed, lazy, pure functional programming language with pattern matching, type classes, higher kinded types, type synonyms, global inference, polymorphic recursion, polymorphic kinds, typed holes, and higher-rank types.

Language: Haskell - Size: 754 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lambduli/resin

A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.

Language: Haskell - Size: 264 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

lambduli/lambda-pie

Simple REPLs for various λ calculi.

Language: Haskell - Size: 146 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

lambduli/plover

An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.

Language: Haskell - Size: 2.72 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

lambduli/skip Fork of skiplang/skip

A programming language to skip the things you have already computed

Size: 82.7 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

lambduli/eff Fork of matijapretnar/eff

A functional programming language based on algebraic effect handlers

Size: 13.5 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

lambduli/lambdas

REPL for various lambda calculi.

Language: Haskell - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

lambduli/dfsm-dsl

Just a POC of the Deterministic-Finite-State-Machine DSL. Implemented as the JavaScript's tagged template literal.

Language: JavaScript - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

lambduli/frea

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

Language: Haskell - Size: 695 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 16 - Forks: 0

lambduli/monolog

Small and simple logic programming language inspired by Prolog.

Language: Ruby - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1

lambduli/parallise

Simple module of function returning promise executed parallely and chainable in main context.

Language: JavaScript - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

lambduli/sjs

Simple compiler from Symbolic JavaScript (Lisp-like language) to JavaScript. Created as semestral project.

Language: Scala - Size: 51.8 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

lambduli/FeenyML

Mostly incomplete implementation of a simple programming language.

Language: Haskell - Size: 419 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0