Chearch is a simple search engine written in Cray's Chapel language.
☆35Oct 5, 2021Updated 5 years ago
Alternatives and similar repositories for chearch
Users that are interested in chearch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 3 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 9 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Aug 31, 2026Updated last month
- Performs topological sorting.☆18Updated this week
- The Som functional programming language☆21Nov 15, 2023Updated 2 years ago
- 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.
- Various experimental changes to OCaml.☆14Nov 21, 2011Updated 14 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- Perl bindings for the Tiny C Compiler☆16Oct 24, 2015Updated 10 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- Kubri signs and releases software for common package managers and software update frameworks.☆12Oct 4, 2026Updated last week
- Visualization tool for your IO-uring workload☆21Aug 19, 2024Updated 2 years ago
- TPTP linear logic version☆14Jan 27, 2025Updated last year
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 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.
- SIMD aligned data structures to work with `std::simd`.☆12Dec 14, 2024Updated last year
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆23Jan 30, 2024Updated 2 years ago
- A simple example app for the fragmenta go web framework.☆12Jan 6, 2017Updated 9 years ago
- Parser with a nebulous purpose☆19Feb 3, 2021Updated 5 years ago
- A fast router for golang, handling static paths and dynamic complex params with deferred parsing☆12Oct 15, 2020Updated 6 years ago
- Simply typed lambda calculus in cubical agda☆23Feb 22, 2020Updated 6 years ago
- AsteroidOS Linux control application☆10Jul 6, 2020Updated 6 years ago
- ☆18May 18, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Pseudo, a 2.5d multiplayer roguelike☆33Dec 29, 2024Updated last year
- A collection of algorithms done in JavaScript with visual demos☆11Apr 17, 2023Updated 3 years ago
- ☆12Aug 3, 2024Updated 2 years ago
- One nvim instance per tmux window, requires nvr.☆13May 27, 2020Updated 6 years ago
- reddit search tool using the pushift.io API☆14Sep 17, 2024Updated 2 years ago
- NetBSD cdb (constant database) library☆14May 24, 2019Updated 7 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆22Apr 11, 2020Updated 6 years ago
- An asset pipeline for golang which handles combining, minifying and fingerprinting css/js files☆15Nov 5, 2024Updated last year
- Butt Mover - A butt triggered productivity and health improvement game☆11Apr 8, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆21Jun 11, 2026Updated 4 months ago
- Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …☆13Jan 5, 2022Updated 4 years ago
- A simple functional programming language.☆21Jun 3, 2021Updated 5 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Violette is a simple functional programming language.☆25Oct 11, 2025Updated last year
- An Emacs package providing additional features for working with BibTeX files & citations☆19Mar 23, 2026Updated 6 months ago
- Isabelle LLVM Code Generator and Refinement☆30Oct 1, 2026Updated 2 weeks ago