🧪 | LLVM backend for HVM
☆23May 23, 2023Updated 3 years ago
Alternatives and similar repositories for trazodone
Users that are interested in trazodone 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 viewer of the cutoff scores for all Brazilian universities participating in SISU☆16Dec 26, 2023Updated 2 years ago
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 3 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- The Torus Blockchain implementation.☆25Jul 7, 2026Updated 2 months 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.
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 4 years ago
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- 📦 Automatically generate TypeScript declarations for Fluent files☆14May 11, 2021Updated 5 years ago
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated 2 years ago
- my personal lang☆18Dec 31, 2023Updated 2 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 7 years ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated 7 months ago
- A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.☆12Oct 15, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- pgTyped ReScript - Typesafe SQL in ReScript☆31May 29, 2026Updated 3 months ago
- Powerful Fetch☆25Apr 9, 2026Updated 5 months ago
- An interaction combinator runtime☆18Sep 23, 2024Updated 2 years ago
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Aug 18, 2026Updated last month
- Single Page Web Applications in Idris☆27Apr 22, 2026Updated 5 months ago
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆46Mar 25, 2022Updated 4 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆77Jun 3, 2026Updated 3 months ago
- Microvm is a virtual machine and compiler. This project is inspired by a work by Aleksei Udalov: https://github.com/aleksei-udalov/vm.git☆10May 16, 2021Updated 5 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆69May 26, 2021Updated 5 years ago
- 'dgram' for the browser☆12Mar 17, 2013Updated 13 years ago
- 🥊Choose your favorite programming languages☆22May 7, 2018Updated 8 years ago
- Macro Lambda Calculus☆52Mar 23, 2019Updated 7 years ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆40Feb 22, 2026Updated 7 months ago
- learning cuda☆20Jun 27, 2016Updated 10 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated 2 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆15Jul 26, 2026Updated 2 months ago
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- CLI tool to manipulate URLs☆18Nov 27, 2023Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Feb 2, 2023Updated 3 years ago
- A simple blogging platform with Haskell and Scotty☆39Dec 25, 2021Updated 4 years ago