haraldmaida / lamcalView external linksLinks
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
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 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
- Distributed file system☆13May 10, 2011Updated 14 years ago
- This module includes functions that can be used to simulate mechanochemical phenomena.☆11Nov 16, 2021Updated 4 years ago
- Fragment Graphical Variational AutoEncoding for Screening and Generating Molecules☆14Nov 21, 2022Updated 3 years ago
- Calculating paramagnetic NMR effects in proteins☆10May 20, 2022Updated 3 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
- A simple OpenGL 3.2 example using MSVS 2010 and freeglut☆12Feb 4, 2013Updated 13 years ago
- Scotch pipeline for indel calling.☆10Nov 25, 2019Updated 6 years ago
- Detect interesting SARS-CoV-2 spike protein variants from Sanger sequencing data.☆11Apr 15, 2022Updated 3 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Jan 2, 2017Updated 9 years ago
- GStreamer plugin for Cedar hardware encoding☆16Jul 26, 2014Updated 11 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 2 months ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- UDBX（Universal Spatial Database Extension）☆15May 23, 2024Updated last year
- Helpers for working with pymatgen structure graphs.☆12Feb 4, 2025Updated last year
- A λ-calculus shell (because I love writing shells).☆11Jan 2, 2020Updated 6 years ago
- Repository for service oriented architecture code and components.☆18Aug 28, 2017Updated 8 years ago
- (inactive) An Entity System for building games in Rust☆26Aug 25, 2017Updated 8 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
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- 🔍 Fit3D - An application for template-based detection of small structural motifs in protein structures and macromolecular structure data…☆11Oct 16, 2018Updated 7 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- Implementation of MOFF force field. Please cite us at Latham, A; Zhang, B J. Chem. Theory Comput. 2021, 17, 3134. (https://pubs.acs.org/d…☆10Jun 16, 2022Updated 3 years ago
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)☆12Dec 22, 2025Updated last month
- 获取 Bilibili 大航海列表☆11Apr 25, 2024Updated last year
- Libva backend for the sunxi-cedrus v4l2 m2m driver. Upstream moved to https://github.com/free-electrons/cedrus☆10Aug 29, 2016Updated 9 years ago
- Experiments in protein folding through language modeling☆10Dec 10, 2021Updated 4 years ago
- ☆11Jun 7, 2025Updated 8 months ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 2 years ago
- Unsupervised fingerprinting of disordered solids leading to analogical materials discovery.☆10Feb 14, 2023Updated 3 years ago
- libhadoop is a pure c/c++ liberary for hadoop hdfs like libhdfs☆19Aug 6, 2012Updated 13 years ago
- [ICLR 2026] Optimization-free Dataset Distillation for Object Detection. Paper at: https://arxiv.org/abs/2506.01942☆22Jan 26, 2026Updated 2 weeks ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated last year