A compiler intermediate representation for image recognition and heterogeneous computing.
☆80Jul 3, 2016Updated 9 years ago
Alternatives and similar repositories for likely
Users that are interested in likely are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GLSL to bytecode compiler and VM☆11May 24, 2016Updated 9 years ago
- Flood Shield is a very fast http flood blocker☆29Apr 21, 2015Updated 11 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- ☆41Jan 8, 2017Updated 9 years ago
- Mal (Make A Lisp) compiler☆125Mar 7, 2024Updated 2 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.
- A generic partial quicksort macro for C99.☆12Apr 23, 2014Updated 12 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 6 years ago
- ☆52Apr 6, 2017Updated 9 years ago
- a syntax directed editor☆17Apr 2, 2024Updated 2 years ago
- Library and accelerator backend☆15Apr 25, 2026Updated last week
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- Formal semantics of LLVM IR in K☆49Jun 13, 2018Updated 7 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 years ago
- ☆12Sep 24, 2015Updated 10 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.
- Examples from Introduction to Programming in ATS☆26Sep 28, 2014Updated 11 years ago
- Write Jinja2-style templates in C++. Uses lua as a scripting language (very lightweight)☆16Dec 10, 2016Updated 9 years ago
- Notes for torch maintainers/modders☆10Mar 29, 2016Updated 10 years ago
- Instance agent for collecting metrics and logs☆16Aug 15, 2017Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 8 years ago
- adds an optional type system to J language☆21Feb 7, 2016Updated 10 years ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- Git repository syncronisation daemon☆53Feb 21, 2017Updated 9 years ago
- Basic Container Linux filesystem layout and configs☆20Apr 12, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- Fast compressor/decompressor for 68000 based on ZX7 by Einar Saukas☆12Jul 28, 2018Updated 7 years ago
- Small editor wrapped on cirru-editor☆13Aug 26, 2016Updated 9 years ago
- Julia GARCH package☆15Dec 28, 2025Updated 4 months ago
- Small program to run requests against a web server and look for problems☆11Jan 20, 2016Updated 10 years ago
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- C++ STL for speed and cryptanalytic application☆11Dec 16, 2025Updated 4 months ago
- ☆11Nov 29, 2017Updated 8 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago
- Python binding for odeiv2 interface from GNU Scientific Library (GSL)☆14Aug 7, 2025Updated 8 months ago
- An AES-based 384 bit permutation.☆21May 3, 2025Updated 11 months ago
- A conda-smithy repository for boost.☆17Apr 23, 2026Updated last week
- Visualize an ELF's execution☆11Dec 28, 2014Updated 11 years ago
- SABR model calibration on shiny☆11Sep 16, 2013Updated 12 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Apr 25, 2026Updated last week