A toy functional language created through the abuse of C
☆20Sep 26, 2010Updated 16 years ago
Alternatives and similar repositories for goof
Users that are interested in goof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- Programming for Problem Solving☆17Oct 3, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 10 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 11 years ago
- Scrap, the Roguelike - A game of exploding robots☆13Oct 29, 2017Updated 8 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- ☆23Oct 12, 2024Updated last year
- An Oberon-2 LLVM front-end☆23Sep 27, 2014Updated 12 years ago
- minimalistic full screen text editor on ncurses☆19Nov 11, 2023Updated 2 years ago
- A language for code golf.☆25Aug 26, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- an ur-lisp interpreter written in Rust☆11Jul 18, 2016Updated 10 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Non euclidian game in unity☆18Jun 12, 2021Updated 5 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- Simple, orthogonal 32-bit computer architecture and environment☆28Aug 15, 2026Updated last month
- ☆10Oct 22, 2015Updated 10 years ago
- An ncurses procedurally generated roguelike dungeon crawler☆23Mar 11, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆12Aug 6, 2015Updated 11 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- amd/ati (nvidia soon) bindings for node.js☆18Sep 8, 2011Updated 15 years ago
- Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).☆42May 20, 2016Updated 10 years ago
- This is the official code used for WAT 2017 Description Paper titled A Bag of Useful Tricks for Practical Neural Machine Translation: Emb…☆12Oct 24, 2017Updated 8 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 12 years ago
- A DMA Controller for RISCV CPUs☆13Aug 10, 2015Updated 11 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Micro Lisp Implementation in C☆11May 22, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Very simple noSQL database, created as an example during a talk. See FineDB for a real high-performance noSQL database.☆15Sep 29, 2013Updated 13 years ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- LazyLora is a terminal user interface for exploring the Algorand blockchain☆13Sep 28, 2026Updated last week
- Mirror of https://gitlab.com/xdevs23/linux-nitrous☆11Dec 6, 2025Updated 10 months ago
- A simple bare-metal forth for the PDP-10☆39Apr 17, 2016Updated 10 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 16 years ago
- Dockerfile for machine learning environment(scikit-learn, chainer, gensim, tensorflow, jupyter)☆10Aug 16, 2018Updated 8 years ago