Prana is a library providing a generic AST data structure called utree
☆25Jun 12, 2011Updated 15 years ago
Alternatives and similar repositories for prana
Users that are interested in prana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An OpenCL C++ language binding☆16Oct 13, 2012Updated 14 years ago
- Hartmut Kaiser and Bryce Lelbach's version of Boost.Lockfree☆15May 28, 2011Updated 15 years ago
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- A minimal, JSON-based bidirectional communication bridge between native iOS/Android and WebView.☆18Mar 18, 2026Updated 7 months ago
- Mess around with arduino from the comfort of the repl☆11Feb 9, 2014Updated 12 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 Github Action to mirror one branch to another within the same repository☆25Jul 18, 2023Updated 3 years ago
- Programming Accelerators with C++ (PACXX)☆58Feb 16, 2018Updated 8 years ago
- Talks at the <Programming> 2022 Conference in Porto, Portugal☆12Mar 30, 2022Updated 4 years ago
- An implementation of System-Z+ in Clojure☆13Sep 17, 2011Updated 15 years ago
- An example project using core.typed.☆12Sep 25, 2013Updated 13 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 15 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- M:N fiber implementation, with transparent IO reactor and timeouts, POSIX like APIs.☆17May 17, 2012Updated 14 years ago
- Parser generator tool with full separation between grammar and target code☆25Oct 22, 2016Updated 10 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.
- ☆14Oct 27, 2022Updated 4 years ago
- Algorithmic composer.☆12Jul 15, 2013Updated 13 years ago
- A go ai for the 2013 clojure cup☆11Oct 19, 2013Updated 13 years ago
- ☆11Dec 29, 2019Updated 6 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- Collection of emoticons for use with yasnippet☆15Mar 28, 2012Updated 14 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- ☆20Apr 26, 2021Updated 5 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.
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Jan 6, 2018Updated 8 years ago
- A quiz about Clojure in Clojure for Clojurians☆15Dec 1, 2010Updated 15 years ago
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- ☆13Oct 18, 2017Updated 9 years ago
- a Haskell implementation of Deep Learning frameworks.☆13Mar 29, 2016Updated 10 years ago
- Solving the Expression Problem in C++11☆45Nov 10, 2012Updated 13 years ago
- An example Noir website☆13Oct 26, 2011Updated 15 years ago
- ☆11Oct 9, 2010Updated 16 years ago
- Detects the type of spatial files☆14Aug 27, 2025Updated last year
- 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.
- Build script for portable, complete Mac version of TileMill☆14Jul 14, 2014Updated 12 years ago
- A simple Java to CSharp (C#) converter (transpiler)☆10Jan 5, 2017Updated 9 years ago
- Load png/jpg/tga/webp on all browser with emscripten☆19Mar 4, 2013Updated 13 years ago
- Solving the josephus problem using various languages and programming styles☆13Aug 29, 2011Updated 15 years ago
- tree command for Go AST☆13Aug 4, 2025Updated last year
- A collection of .bashrc stuff and other dotfiles☆20Oct 28, 2026Updated last week
- An abstract machine using indexed containers and their zippers☆14Dec 29, 2016Updated 9 years ago