A λ-calculus implementation in CoffeeScript
☆12Nov 20, 2012Updated 13 years ago
Alternatives and similar repositories for lambda-coffee
Users that are interested in lambda-coffee are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a transcript of this video http://www.youtube.com/watch?v=No8kKiZ8ZkU☆14Jul 17, 2017Updated 9 years ago
- A Gentle Introduction to Algorithm Complexity Analysis☆29Mar 9, 2022Updated 4 years ago
- Contract to record hashes of recent and historic blocks☆14Sep 28, 2015Updated 11 years ago
- A social network☆11Dec 27, 2020Updated 5 years ago
- Files that make you go WTF!☆65Jan 23, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A chat system☆17Mar 17, 2018Updated 8 years ago
- Enabling NIPoPoW Applications on Bitcoin Cash☆20Mar 22, 2020Updated 6 years ago
- Algorithms and stuff in C++☆10Dec 29, 2018Updated 7 years ago
- Explore the progression of wildfires☆25Jan 2, 2026Updated 9 months ago
- An editor for deterministic finite automata☆50Jun 3, 2021Updated 5 years ago
- A toy 'reading version' of AngularJS 1.x - understand the magic! :)☆30Feb 2, 2014Updated 12 years ago
- ☆22May 29, 2020Updated 6 years ago
- My Linux configuration files☆22Oct 18, 2022Updated 4 years ago
- Pandas in black and white: a collection of opinionated pandas flashcards☆14Feb 15, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Nov 4, 2019Updated 6 years ago
- NodeJS native bindings to the Linux Kernel Library project☆27Apr 7, 2020Updated 6 years ago
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- recipes i've cooked -- or will cook soon!☆12Dec 17, 2012Updated 13 years ago
- Tool to execute BREACH attack.☆26Jul 27, 2018Updated 8 years ago
- a python cryptocurrency which supports the board game go☆14Nov 4, 2015Updated 10 years ago
- CTnetwork is a function-based Python package that enables you to download the street network and POI data from OSM, and calculate how …☆16Feb 14, 2024Updated 2 years ago
- Rough notes for the Stanford algorithm course☆13Apr 24, 2012Updated 14 years ago
- Node.js module for controlling GPIO (with interrupts) for embedded Linux machines like Raspberry Pi and BeagleBone☆14Mar 26, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fluid dynamics for javascript☆17Sep 17, 2012Updated 14 years ago
- ☆12Dec 29, 2020Updated 5 years ago
- Assert that a change you expected to happen, happened, with this chai plugin☆14May 22, 2017Updated 9 years ago
- 📝 An opinionated, zettelkasten-inspired note creation and linking tool.☆14Apr 1, 2023Updated 3 years ago
- Algorithms.☆14Aug 31, 2015Updated 11 years ago
- Build and verify Bitcoin Merkle proofs☆12May 11, 2017Updated 9 years ago
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆35Feb 22, 2020Updated 6 years ago
- cheap omegle clone in CoffeeScript using Socket.IO☆22Sep 28, 2011Updated 15 years ago
- Linux Metrics Workshop☆11Jun 30, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Read-through, in-memory, least recently used (lru) cache☆11Jul 28, 2019Updated 7 years ago
- Create React App Server Side Rendering without ejecting and no configuration☆13Dec 10, 2022Updated 3 years ago
- Package manager manifest parser service☆20Jul 31, 2017Updated 9 years ago
- Docker image that takes a LaTeX document as input and outputs a PDF☆14Dec 17, 2015Updated 10 years ago
- :+1: Your code, made perfect☆16Jul 9, 2021Updated 5 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Alternative implementation of mocha☆15Jan 15, 2025Updated last year