A high performance and feature rich regular expression engine.
☆33Feb 28, 2025Updated last year
Alternatives and similar repositories for JavelinPattern
Users that are interested in JavelinPattern are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 years ago
- EmojiTools for c++☆12Jul 22, 2019Updated 7 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.
- Wind is not a dummy, Sub-150 loc Window manager for X11☆10May 12, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/bsdiff☆18Sep 8, 2015Updated 11 years ago
- Haskell Expression Visualizer☆13Apr 2, 2022Updated 4 years ago
- Space Cadet Keyboard Schematic and PCB☆14Jan 31, 2023Updated 3 years ago
- A collection of shell scripts I've written☆11Apr 16, 2018Updated 8 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Simulation environment for an autonomous robot☆18Feb 13, 2021Updated 5 years ago
- Lem text editor flake☆12Jun 15, 2024Updated 2 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 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.
- An experiment in declaratively programming parallel pipelines of state machines.☆18Mar 20, 2023Updated 3 years ago
- Home page for the Simple Haskell Initiative☆16Jun 29, 2022Updated 4 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- NodeJS native module written in Rust and Typescript to interact with Pipewire.☆18Aug 14, 2026Updated last month
- ☆12Apr 23, 2024Updated 2 years ago
- Fortran 2003 interface bindings to Xlib☆14Sep 28, 2025Updated last year
- Reversing Tools for IDA PRO☆15Jan 27, 2015Updated 11 years ago
- Haskell bindings to libevdev. Read from Linux input devices, and create virtual ones.☆18Apr 11, 2026Updated 6 months ago
- LAME + AltiVec = awesome☆14Dec 17, 2017Updated 8 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 terminal UI library for Go☆15Dec 1, 2017Updated 8 years ago
- The Rocq Prover Website☆15Sep 2, 2026Updated last month
- Rust programming, in Korean. 재미로 해보는 한글 Rust 코딩☆16Sep 22, 2021Updated 5 years ago
- Interactive digraphs for the Kakoune editor☆11Apr 30, 2020Updated 6 years ago
- Python module to align a simple (not nested) list in columns. Adapted from the routine of the same name inside cmd.py☆16Jul 17, 2026Updated 2 months ago
- ☆14Jun 19, 2026Updated 3 months ago
- Discord Client as a File System☆14Mar 2, 2021Updated 5 years ago
- A distributed maintained collection of patterns that indicate that something probably is secret☆19Oct 12, 2022Updated 4 years ago
- This is a ray tracer I wrote for a univeristy assignment last year. I don't claim that it is fast or good code.☆13Sep 27, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 2, 2026Updated last month
- Serial Terminal Display emulator☆14Dec 29, 2019Updated 6 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- ☆25Mar 2, 2026Updated 7 months ago
- Demonstration of GTK4 TreeListView with drag-and-drop☆16Sep 21, 2024Updated 2 years ago
- Test monadic programs using state machine based models☆19May 18, 2026Updated 4 months ago