Lambda Calculus things implemented on Python
☆90Sep 5, 2019Updated 6 years ago
Alternatives and similar repositories for python-lambda-calculus
Users that are interested in python-lambda-calculus are comparing it to the libraries listed below
Sorting:
- Conan extension☆10Sep 20, 2025Updated 5 months ago
- ProtonMail Private Key Passphrase Extractor☆13Apr 20, 2018Updated 7 years ago
- Expressions to change the world (just a tiny bit)☆31Feb 15, 2026Updated 3 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Jan 10, 2025Updated last year
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- A curated list of awesome optimizations that you can do to improve your redis deployment (both client side and server side).☆33Apr 26, 2021Updated 4 years ago
- A collection of scientific kernels using the numpy module for benchmarking purpose☆40Feb 24, 2021Updated 5 years ago
- A lightweight dataframe & math toolkit for Rust☆26Aug 25, 2025Updated 6 months ago
- AWS CDK serverless solution to periodically crawl web sites and collect discount coupons.☆14May 24, 2023Updated 2 years ago
- Advanced Weather Station based on RPI4 ,Arduino & Ultrasonic Anemometer, it posts it's weather analytics directly on FarmOS and can also …☆11Oct 30, 2021Updated 4 years ago
- An ambient noise detector☆10Aug 23, 2020Updated 5 years ago
- LaTeX style files for creating documents in the Open University unit style☆11Feb 4, 2025Updated last year
- EdgeMultiplay is a simple solution for creating multiplayer experiences on Edge, This repository contains the unity client of the EdgeMul…☆14Apr 29, 2022Updated 3 years ago
- Scripts and Tools for Electron Microscopy Image Analysis.☆11Nov 25, 2025Updated 3 months ago
- Payout Module, a thin C layer around the SSP protocol☆10Nov 6, 2016Updated 9 years ago
- A campaign for a modern copyright reform.☆10Dec 11, 2020Updated 5 years ago
- ChatPaperPlus☆11Mar 13, 2023Updated 2 years ago
- ☆11Mar 12, 2021Updated 4 years ago
- UppHub is the repository that serves as the official global registry for U++ distributed packages. Each package provides additional funct…☆12Nov 4, 2025Updated 4 months ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 3 months ago
- git snapshot of camstudio hg repo ( http://sourceforge.net/scm/?type=hg&group_id=131922 )☆16Sep 19, 2011Updated 14 years ago
- ☆12Dec 17, 2024Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Landscape Generator is An open Source web application that generates landscape drawings randomly, then gives you the ability to edit it a…☆10Jul 30, 2024Updated last year
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 6 months ago
- Automatically exported from code.google.com/p/jbaci☆12Nov 17, 2024Updated last year
- Rust program for downloading APKs of given Android package.☆10Oct 29, 2024Updated last year
- 20 python libs and more: read me first!☆12Apr 11, 2024Updated last year
- Gates of Olympus: A multi-layer tower defense game in WebGL☆15Jan 30, 2011Updated 15 years ago
- Bot to anonymously send E2EE messages over Signal to a subscriber list.☆11Feb 10, 2026Updated 3 weeks ago
- ☆12Mar 13, 2025Updated 11 months ago
- A small AI framework and implementation of behaviour trees and dynamic mesh deformation in Unity.☆11Sep 14, 2021Updated 4 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- lipsum-cli is a small terminal application written in Rust language. It's used for generating pseudo-Latin lorem ipsum filler text in ter…☆13Dec 18, 2023Updated 2 years ago
- Next generation of SuRVoS☆10Oct 11, 2023Updated 2 years ago
- Declare all your project's metadata and what you can do with it in one single place.☆47Aug 23, 2023Updated 2 years ago
- Strategy backtester for Uniswap V3.☆10Dec 1, 2021Updated 4 years ago
- Code samples for "A Student's Guide to Python for Physical Modeling"☆16Jul 19, 2021Updated 4 years ago
- Limitless Analytics with Azure Synapse, published by Packt☆13Mar 2, 2026Updated last week