• Joined on 2021年12月26日
Filter
Sort
A simple and configurable markup language
Updated 2025年11月28日 06:40:57 +01:00
A simple-ish Pure Type System simulator inspired by Ben Lynn's lambda calculus vending machine
Updated 2025年09月25日 00:34:15 +02:00
A simple and tiny XML/HTML preprocessor
Updated 2025年09月07日 06:08:58 +02:00
A second attempt on a reference Graphite Core interpreter. This time with a redesign and OCaml code.
Updated 2025年07月06日 07:35:54 +02:00
A total, purely functional statically typed language that aims to show the true power of row types.
Updated 2025年02月20日 00:48:44 +01:00
A Haskell98 port of Honeycomb that adds position retrieval and reporting
Updated 2025年02月04日 00:12:39 +01:00
(VERY OUTDATED) Some recommendations on papers, books or guides to read about Type Theory
Updated 2025年01月13日 10:01:01 +01:00
A term/type/context inference program for Simply Typed Lambda Calculus using MiniKanren, Scheme and Haskeme
Updated 2024年12月03日 05:43:46 +01:00
Research about a category with different ways to compose morphisms
Updated 2024年12月03日 05:43:34 +01:00
A macro processor using and written in Guile scheme supporting @func(a b c) syntax
Updated 2024年12月03日 05:36:56 +01:00
Create budgets that are dynamic, update with prices and much more, easy as pie.
Updated 2024年12月03日 05:36:36 +01:00
Finite State Machines for Chicken Scheme
Updated 2024年12月03日 05:29:42 +01:00
The simple social media platform for Gemini you waited for, rewritten.
Updated 2024年12月03日 05:28:23 +01:00
Sistema de codificación de datos de base 36 con múltiples sets de carácteres
Updated 2024年12月03日 05:23:57 +01:00
Lua TUI toolkit for quickly building UIs
Updated 2024年12月03日 05:21:42 +01:00