A lambda calculus parser, evaluator and repl
☆11Oct 30, 2021Updated 4 years ago
Alternatives and similar repositories for lamcal
Users that are interested in lamcal are comparing it to the libraries listed below
Sorting:
- A simple brainfuck interpreter in Rust.☆23Jan 28, 2021Updated 5 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Distributed file system☆13May 10, 2011Updated 14 years ago
- Holomap is a real-time collaborative holonic mapping platform.☆11Jul 1, 2021Updated 4 years ago
- All things manipulating, quantifying, and visualizing geochemical data☆13Jan 19, 2024Updated 2 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- Calculating paramagnetic NMR effects in proteins☆10May 20, 2022Updated 3 years ago
- Scotch pipeline for indel calling.☆10Nov 25, 2019Updated 6 years ago
- A simple OpenGL 3.2 example using MSVS 2010 and freeglut☆12Feb 4, 2013Updated 13 years ago
- Manage water levels in a reservoir by controlling water pumps.☆16Nov 6, 2023Updated 2 years ago
- Graph neural network for predicting energy of known and hypothetical crystal structures☆10Jan 26, 2022Updated 4 years ago
- Facility Management tool that tracks foot traffic with real-time reporting, time-series reporting, exporting reports (PDF, CSV, Excel).☆10Sep 13, 2016Updated 9 years ago
- Secondary Protein Structure Prediction using Neural Networks and Deep Learning .☆10Jul 17, 2022Updated 3 years ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 3 years ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Jan 2, 2017Updated 9 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- (inactive) An Entity System for building games in Rust☆26Aug 25, 2017Updated 8 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- The quantum circuit version of support vector machine to recognize handwritten 6 and 9☆11Aug 29, 2017Updated 8 years ago
- Resources for Drug Repurposing In Alzheimer's Disease (DRIAD) work☆11Mar 4, 2021Updated 5 years ago
- ☆13Jul 18, 2024Updated last year
- How to program for the GBA, from scratch☆15May 14, 2024Updated last year
- Semiclassical quantum dynamics code☆15Feb 6, 2026Updated last month
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Mar 6, 2022Updated 4 years ago
- ABM framework to study spatial configuration and human behaviour at the building scale☆10Apr 12, 2023Updated 2 years ago
- DEPRECATED! This project has moved to mbed-os☆11Jan 10, 2017Updated 9 years ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 2 years ago
- Go toolchain written in rust (parser, compiler)☆10Jan 21, 2026Updated last month
- Peptide Correlation analysis☆11Oct 3, 2024Updated last year
- Distributed variational Bayesian algorithms over sensor networks☆12Jun 30, 2017Updated 8 years ago
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 9 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 9 years ago
- The official code for "Advancing Multimodal Large Language Models with Quantization-Aware Scale Learning for Efficient Adaptation" | [MM2…☆14Dec 7, 2024Updated last year
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- Miscellaneous stuff.☆10Feb 21, 2026Updated 2 weeks ago
- A λ-calculus shell (because I love writing shells).☆11Jan 2, 2020Updated 6 years ago
- A programming language.☆13Aug 4, 2025Updated 7 months ago