Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"
☆19Nov 7, 2018Updated 7 years ago
Alternatives and similar repositories for marvin
Users that are interested in marvin 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 Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- A GraphQL server library in Clojure (not under active development)☆22Feb 7, 2016Updated 10 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 6 months ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- js driver for datomic☆50Mar 14, 2015Updated 11 years ago
- RubyVersion | Better than RUBY_VERSION☆15Apr 7, 2023Updated 3 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- half-precision floating-point☆17Mar 2, 2026Updated 2 months ago
- A monad transformer library for Haskell☆29Sep 2, 2024Updated last year
- A Stimulus controller to scroll to elements.☆12Oct 26, 2024Updated last year
- Inline, interactive graphs inside jupyter/ipython notebooks☆16Aug 19, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- With layoutline.js find out what kind of keyboard layout your user has just by swiping the keyboard characters in lines.☆15Aug 6, 2018Updated 7 years ago
- A self-hosting subset of git functionality in 500 lines☆13Aug 27, 2018Updated 7 years ago
- A Stimulus controller to copy text to clipboard.☆14Oct 26, 2024Updated last year
- Real Time For the Masses (RTFM), a framework for building concurrent applications, for MSP430 MCUs☆11Jul 29, 2017Updated 8 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Turn numeric or hex IDs into reversible and human friendly obfuscated strings. Also supports Rails ActiveRecord models☆23Jan 23, 2026Updated 3 months ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 8 years ago
- A protocol based monad implementation for clojure☆61Aug 11, 2014Updated 11 years ago
- How to obfuscate clojure project☆12Oct 31, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Library for parsing and compiling OMeta grammars to ruby☆47Sep 18, 2008Updated 17 years ago
- Parse, Analyse, Clean GLSL code in JS☆13Sep 27, 2015Updated 10 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 5 years ago
- Pronounced: chaos☆18Oct 22, 2019Updated 6 years ago
- Lucide.dev Icons for Phlex☆12May 22, 2025Updated 11 months ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Kickstart documentation for any project! This is the official Yeoman generator for Verb, a zero-configuration markdown documentation gene…☆32May 30, 2015Updated 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.
- 👨🏻💻 A Hands-on Approach to Hacking Coding Interviews☆10Jun 16, 2025Updated 10 months ago
- Calculate complexity of a function (using Big O notation).☆23Sep 3, 2012Updated 13 years ago
- A Stimulus controller to add a progress bar when scrolling.☆14Oct 26, 2024Updated last year
- Fixed length vector for haskell☆22Feb 28, 2026Updated 2 months ago
- Lax `url.format()` that formats a hostname and port into IPv6-compatible socket form of `hostname:port`☆14Apr 9, 2021Updated 5 years ago
- ☆13Apr 16, 2015Updated 11 years ago
- OrientDB Database Interface for Erlang☆11Mar 7, 2014Updated 12 years ago