Lambda calculus with Church encoding in C
☆31Oct 11, 2018Updated 7 years ago
Alternatives and similar repositories for c_lambda_calculus
Users that are interested in c_lambda_calculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cache evaluation of nix functions☆18Apr 5, 2022Updated 4 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 3 months ago
- An experimental mutual induction tactic for Lean 4.☆27Apr 2, 2026Updated last week
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- ☆29Updated this week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆57Feb 18, 2026Updated last month
- Lambda Calculus compiler targeting x86, written in Racket☆11Jun 14, 2020Updated 5 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆38Updated this week
- Organize JavaScript packages with the Nix package manager☆13Dec 31, 2023Updated 2 years ago
- Wavelet video codec in less than 5000 lines of C. Comparable to MPEG-1/MPEG-2 in terms of efficiency and quality.☆33Oct 4, 2024Updated last year
- FED is a folding text editor for MS-DOS, Linux, and Windows.☆18Apr 1, 2021Updated 5 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- (Deprecated)Rem Programming Language: a playful dynamic language with all modern syntax sugars.☆25May 23, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A simple platformer game inspired by jump king☆16Oct 4, 2024Updated last year
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 2 months ago
- ELF prelinking utility to speed up dynamic linking [unofficial mirror]☆11Jan 27, 2018Updated 8 years ago
- Small shooter write in C/Ncurses☆64Jul 29, 2024Updated last year
- Crossterm Windows API Abstractions☆17Aug 5, 2024Updated last year
- ☆12Mar 22, 2024Updated 2 years ago
- a simearth clone☆14Jun 25, 2020Updated 5 years ago
- A small λ-calculus interpreter in C☆58Sep 3, 2014Updated 11 years ago
- Snake for the terminal☆29Nov 10, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆94Dec 24, 2025Updated 3 months ago
- Generate include dependency diagram☆12Jul 4, 2021Updated 4 years ago
- A command-line tool that uses hyperfine to benchmark Nix derivation builds and evaluations.☆25Updated this week
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 4 years ago
- 🗔 terminal UI library for C☆40Jul 22, 2025Updated 8 months ago
- A Telegram Bot to assist PvP groups for Pokemon Go☆10Feb 9, 2024Updated 2 years ago
- msx game development library ubox example☆11Apr 26, 2023Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- NixOS configs☆11Oct 26, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated last week
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 11 years ago
- Nix build Scheduler☆11Nov 24, 2025Updated 4 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Purely evil preprocessor macros adding anonymous functions and closures to ISO C99☆170May 1, 2015Updated 10 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- ☆16Oct 16, 2023Updated 2 years ago