A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
☆37Sep 16, 2026Updated this week
Alternatives and similar repositories for bex
Users that are interested in bex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dyalog APL implementation of a 3D ray tracer☆12Oct 31, 2019Updated 6 years ago
- various toys in j☆12Apr 13, 2022Updated 4 years ago
- q mode for emacs☆12Sep 27, 2020Updated 5 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- A Matrix chat client☆14Aug 24, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- BQN virtual machine☆33Feb 1, 2024Updated 2 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Mar 21, 2026Updated 6 months ago
- Visual Studio Code support for J language☆14Nov 21, 2025Updated 10 months ago
- J playground☆13May 29, 2026Updated 3 months ago
- A fast and simple automata library☆36Updated this week
- BDD based DQBF solver☆13Dec 8, 2022Updated 3 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆12Mar 7, 2024Updated 2 years ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆31Mar 16, 2021Updated 5 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.
- ☆14Mar 22, 2018Updated 8 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆14Jan 9, 2026Updated 8 months ago
- k version 3 Language Interpreter in C#☆16Jul 1, 2026Updated 2 months ago
- A Python interpreter for APL based off of the LSBASI series.☆19Apr 4, 2021Updated 5 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- ☆39Oct 23, 2022Updated 3 years ago
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- JHT rating: 28-765☆13Dec 31, 2018Updated 7 years ago
- Macsyma☆15Jan 23, 2018Updated 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.
- A procedural face generator for D&D style NPCs☆15Dec 8, 2021Updated 4 years ago
- Your happy place for learning APL☆15Jan 5, 2023Updated 3 years ago
- Arrayfire bindings for J language☆10Sep 18, 2017Updated 9 years ago
- A BQN wrapper script for Gnuplot☆12Aug 3, 2024Updated 2 years ago
- Source for the apl.quest site☆20Aug 26, 2026Updated 3 weeks ago
- A toy array language inspired by J, K, and APL.☆11Updated this week
- emacs major mode for working with ngnk☆17Mar 5, 2026Updated 6 months ago
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 5 years ago
- Grimsby is an Erlang Port written in Rust that can close its standard input while retaining standard output (and error)☆15Oct 9, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- My Advent of Code solutions☆23Mar 31, 2026Updated 5 months ago
- ☆16Oct 19, 2023Updated 2 years ago
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 4 years ago
- A functional golfing language☆16Aug 17, 2021Updated 5 years ago
- Compiles lisp style html into normal html☆18Oct 4, 2023Updated 2 years ago
- This is the source code for TryAPL.org☆30Apr 23, 2026Updated 5 months ago
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago