A declarative toy language inspired on set comprehensions.
☆18Feb 26, 2019Updated 7 years ago
Alternatives and similar repositories for cantor
Users that are interested in cantor 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 small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 8 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆20Mar 19, 2019Updated 7 years ago
- Brain Interpreter for arduino☆12Jul 16, 2018Updated 8 years ago
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- Pequenos jogos de exemplo com código aberto☆17Jul 20, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- How to make you very own REPL in Haskell☆31Mar 13, 2017Updated 9 years ago
- Peça lanches facilmente para lanchonetes pelo WhatsApp com essa ferramenta☆41Jul 9, 2021Updated 5 years ago
- Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course☆18Mar 24, 2017Updated 9 years ago
- Soluções dos problems do adventofcode.com☆13Jan 8, 2021Updated 5 years ago
- 🥊Choose your favorite programming languages☆22May 7, 2018Updated 8 years ago
- Exemplo de servidor REST totalmente feito em Common Lisp para consultas futuras (em progresso)☆12May 16, 2020Updated 6 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆57Sep 14, 2018Updated 8 years ago
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 10 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆47May 14, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆44Oct 21, 2026Updated last week
- LLVM IR → WLA DX (ASM 65c816) → SNES Rom☆49Jul 21, 2020Updated 6 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 6 years ago
- Compose sequence of operations, immutable without side-effects☆19Apr 19, 2017Updated 9 years ago
- Absal ex☆60Sep 8, 2023Updated 3 years ago
- (toy) A tiny little language written to answer a Quora question because :'>☆19Jan 6, 2018Updated 8 years ago
- A remake of the classical Pong Game with SDL2☆16Nov 28, 2024Updated last year
- Functional Path do hacker Rank☆50Oct 18, 2022Updated 4 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.
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆49Apr 4, 2018Updated 8 years ago
- Collect and report key metrics for a typical web application based on Phoenix and Ecto.☆10Jul 21, 2023Updated 3 years ago
- ✨ My website built with Next.js, TypeScript, and Tailwind.☆21Aug 3, 2026Updated 2 months ago
- Programming Language that compiles to 8 Bit Brainfuck☆98Feb 20, 2024Updated 2 years ago
- FP Challenges☆79Jul 11, 2023Updated 3 years ago
- Existential type.☆37May 10, 2026Updated 5 months ago
- Remake of the classical game Sokoban in Elm☆11Dec 28, 2016Updated 9 years ago
- Capybara is a language that compiles to ZPL.☆13Aug 21, 2015Updated 11 years ago
- Example Fabulous app that uses MSAL to authenticate a user on Azure Active Directory☆11Dec 8, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Normalization by evaluation of simply typed combinators.☆27Feb 24, 2022Updated 4 years ago
- A proof of concept of a PHP code with 0 bugs and workarounds!☆41Jan 4, 2018Updated 8 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆61Jun 18, 2024Updated 2 years ago
- React examples in Parenscript☆15Aug 30, 2016Updated 10 years ago
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- Visual programming tool based on Common Lisp☆91Nov 6, 2019Updated 6 years ago
- Decompilation-Oriented Disassembler☆16May 3, 2025Updated last year