An implementation of Linear Lambda Calculus.
☆15Apr 16, 2020Updated 5 years ago
Alternatives and similar repositories for linear-lambda-calculus
Users that are interested in linear-lambda-calculus are comparing it to the libraries listed below
Sorting:
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- simple text editor using rust language.☆14Apr 13, 2020Updated 5 years ago
- Programming language☆13Dec 6, 2020Updated 5 years ago
- Structurally-typed strict functional core language☆19Nov 21, 2025Updated 3 months ago
- miniKanren in OCaml☆31May 5, 2023Updated 2 years ago
- Framework24 - A modern, serverless, framework to launch software products quickly and scale seamlessly☆13Updated this week
- Android client for Circle CI☆22Updated this week
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 years ago
- A statically typed functional programming language.☆46Feb 14, 2026Updated last week
- RISC-VのCPU作った☆20Oct 21, 2019Updated 6 years ago
- ☆20Nov 21, 2019Updated 6 years ago
- OCaml の日本語での情報☆95Oct 3, 2018Updated 7 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- Web上で動作するラムダ計算のインタプリタ「らむだフレンズ」☆28Mar 28, 2024Updated last year
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A CRUD PROJECT BASED ON FLUTTER☆19Mar 8, 2023Updated 2 years ago
- Functional reactive programming with incremental changes in data structures☆52Dec 9, 2025Updated 2 months ago
- A light weight encapsulation of PHP Slim and AdminLTE template. Please star it to encourage me if it helps you. To salute WTF framework…☆12Mar 23, 2022Updated 3 years ago
- ☆11Updated this week
- XEAD Driver is a developing platform of DB systems. Write "specifications" using XEAD Editor. Driver interprets them and launches systems…☆11Jun 20, 2021Updated 4 years ago
- ☆10May 18, 2023Updated 2 years ago
- Utility to compile CFML☆10May 5, 2020Updated 5 years ago
- SQLless RDB written in Pure JavaScript☆44Aug 31, 2014Updated 11 years ago
- This is small but powerful lib with which one can manage runtime permissions 1 line.☆10Jul 5, 2020Updated 5 years ago
- 💾 Azure Storage driver for Adonis Drive☆11Jul 27, 2023Updated 2 years ago
- A smart-casual LaTeX Beamer theme☆13Jan 21, 2025Updated last year
- 自作言語処理系のコンパイラ制作☆43Feb 23, 2019Updated 7 years ago
- Printf group project☆12Oct 29, 2023Updated 2 years ago
- Flow field pathfinding in rust☆13Sep 29, 2019Updated 6 years ago
- zipで配布されているVimをオンラインアップデートするためのPythonスクリプト。現在ベータ&人柱募集中。☆17Sep 30, 2013Updated 12 years ago
- ☆12Aug 31, 2023Updated 2 years ago
- Hook for persisting and rehydrating state in the React app☆10Nov 16, 2019Updated 6 years ago
- General public help topic documenation wiki and issue tracking repository☆10Jan 9, 2026Updated last month
- Flutter RealWorld Example App by Zendy☆14Dec 22, 2022Updated 3 years ago
- Demo shows third-person movement, how animation and state machines work in Godot Engine.☆10Jan 5, 2022Updated 4 years ago
- Fix missing Linux firmware kernel modules!☆17Jan 1, 2024Updated 2 years ago
- Points: 100 Topics: Graphs, topological sort, freedom to decide how to represent data and organize code (while still reading in a graph a…☆10Sep 3, 2022Updated 3 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- An attempt to build axiomatic, formal set theory on top of Scala.☆37Dec 15, 2023Updated 2 years ago