chatziko/lci external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

chatziko/lci

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/chatziko/lci)

Close

chatziko / lciView on GitHubMore

• External links
• Readme badge

A lambda calculus interpeter

☆71Dec 19, 2024Updated last year

Alternatives and similar repositories for lci

Users that are interested in lci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• chatziko / k08_code

  View on GitHub
  Some code for the K08 class
  ☆11May 31, 2019Updated 7 years ago
• nikosgalanis / PancakeSortingProblem

  View on GitHub
  🥞🍴Pancake sorting is a problem of sorting a disordered stack of pancakes in order of size when a spatula can be inserted at any point i…
  ☆11Jun 3, 2019Updated 7 years ago
• giannisdravilas / Weather-Plotting

  View on GitHub
  🌀❄️🌩️ This repository contains some examples for creating 2d and 3d weather plots using matplotlib and cartopy libraries in python3.
  ☆36Nov 19, 2021Updated 4 years ago
• mpu / lambda

  View on GitHub
  A small λ-calculus interpreter in C
  ☆60Sep 3, 2014Updated 11 years ago
• haskell / array

  View on GitHub
  ☆16Feb 1, 2026Updated 5 months ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• milkpot / r7rs-japanese

  View on GitHub
  Japanese translation of R7RS small spec
  ☆17Mar 26, 2017Updated 9 years ago
• TheofilosBel / sigmod2018

  View on GitHub
  ☆21Apr 12, 2018Updated 8 years ago
• nikosgalanis / data-poisoning-defense-fl

  View on GitHub
  💉🔐 Novel algorithm for defending against Data Poisoning Attacks in a Federated Learning scenario
  ☆24Apr 22, 2024Updated 2 years ago
• errikos / dithesis

  View on GitHub
  Thesis class for undergraduate theses at the University of Athens
  ☆41Aug 15, 2023Updated 2 years ago
• jonathanperret / uiua386color

  View on GitHub
  Uiua386 font but with color glyphs
  ☆13Feb 10, 2024Updated 2 years ago
• emacs-jp / elisp-intro-ja

  View on GitHub
  Introduction to Emacs Lisp Programming （Emacs Lisp プログラミング入門）日本語訳
  ☆39Nov 4, 2013Updated 12 years ago
• TodePond / SpaceTode

  View on GitHub
  Spatial Programming Language
  ☆20Dec 11, 2022Updated 3 years ago
• mxswd / webcloud

  View on GitHub
  Turn an optparse-applicative program into a CGI program!
  ☆35Feb 19, 2020Updated 6 years ago
• PanPapag / Game-Of-Life

  View on GitHub
  Efficient Parallel code in MPI, MPI+OpenMP and CUDA for Game of Life
  ☆16Nov 23, 2021Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• yasukata / fmalloc

  View on GitHub
  malloc for memory-mapped files
  ☆15Jun 25, 2020Updated 6 years ago
• PanPapag / AirBnB-Data-Analysis

  View on GitHub
  A data analysis notebook along with a recommendation system for Airbnb listings in Athens, Greece
  ☆13Apr 22, 2020Updated 6 years ago
• haskell / happy

  View on GitHub
  The Happy parser generator for Haskell
  ☆321Apr 13, 2026Updated 2 months ago
• schellingb / c-data-structures

  View on GitHub
  Simple and convenient data structure single-file public domain libraries for C/C++
  ☆33Jan 2, 2021Updated 5 years ago
• 8l / vlink

  View on GitHub
  A portable linker for multiple file formats.
  ☆14Aug 28, 2023Updated 2 years ago
• spChalk / Movie-Recommendation-System

  View on GitHub
  A fully functional Data Mining project based on movies and shows from Netflix.
  ☆13Jul 27, 2021Updated 4 years ago
• melt-umn / ableC

  View on GitHub
  Attribute grammar Based Language Extensions for C
  ☆43Feb 20, 2026Updated 4 months ago
• graalvm / graalvm-website

  View on GitHub
  GraalVM: Run Programs Faster Anywhere 🚀
  ☆13Updated this week
• georgesittas / minihaskell-compiler

  View on GitHub
  MiniHaskell compiler and interpreter with a Lucid-like dataflow IR
  ☆15Mar 5, 2023Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• LinuxStandardBase / lsb

  View on GitHub
  Linux Standard Base Documentation and Tests
  ☆20Dec 2, 2016Updated 9 years ago
• gkastrinis / phd-thesis

  View on GitHub
  ☆10Jul 9, 2020Updated 5 years ago
• k-mrm / type-inference

  View on GitHub
  Hindley-Milner Type Inference
  ☆12Dec 29, 2019Updated 6 years ago
• secwang / ngnkcart

  View on GitHub
  ☆15Oct 19, 2023Updated 2 years ago
• tflpd / TAO

  View on GitHub
  A non-distributed reference implementation of Facebook's read-optimized graph data store, TAO
  ☆12May 25, 2020Updated 6 years ago
• kevina / zl

  View on GitHub
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆31Jan 6, 2022Updated 4 years ago
• snoyberg / safe-prelude

  View on GitHub
  A Haskell prelude optimized for safety
  ☆18Jan 6, 2017Updated 9 years ago
• tokuhirom / node-tcc

  View on GitHub
  ☆14Sep 2, 2012Updated 13 years ago
• mstuefer / data_mining

  View on GitHub
  The Ruby DataMining Gem, is a little collection of several Data-Mining-Algorithms
  ☆15Jul 24, 2015Updated 10 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• jofalk / Xcbwin

  View on GitHub
  Xcbwin - a simple C++ class for graphical outputs using XCB
  ☆12May 12, 2015Updated 11 years ago
• yebblies / magicport2

  View on GitHub
  ☆20May 13, 2016Updated 10 years ago
• Azorlogh / harmoxen

  View on GitHub
  An experimental xenharmonic piano roll application
  ☆11Nov 12, 2021Updated 4 years ago
• alex-ab / NOVA

  View on GitHub
  NOVA Microhypervisor
  ☆11Jun 2, 2026Updated 3 weeks ago
• p0nce / dido

  View on GitHub
  Simplistic toy editor for D. Failed and abandoned, use anything else instead!
  ☆16Aug 10, 2017Updated 8 years ago
• nham / radicle

  View on GitHub
  an ur-lisp interpreter written in Rust
  ☆11Jul 18, 2016Updated 9 years ago
• serokell / ariadne

  View on GitHub
  An open source Ada wallet for users who need more
  ☆40Aug 9, 2019Updated 6 years ago