Chearch is a simple search engine written in Cray's Chapel language.
☆34Oct 5, 2021Updated 4 years ago
Alternatives and similar repositories for chearch
Users that are interested in chearch are comparing it to the libraries listed below
Sorting:
- A curated list of bookmarks, packages, tutorials, videos and other cool resources done in Chapel language.☆21Apr 12, 2021Updated 4 years ago
- pych - The Python/Chapel integration module. NOTE: This repository is now deprecated.☆15Sep 20, 2018Updated 7 years ago
- place for notebooks and example uses of the Arkouda software package☆10Feb 25, 2026Updated last week
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- The Plaid Programming Language Tools☆12Apr 11, 2015Updated 10 years ago
- A textual language for binary data.☆37Jun 13, 2022Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Sep 6, 2019Updated 6 years ago
- My try at reverse engineering the binary resource format used by the Ribbon Framework (UIRibbon.dll)☆12Jul 10, 2023Updated 2 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 4 years ago
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 2 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- A repository of CrayLabs and user contributed examples of using SmartSim.☆18Jun 11, 2024Updated last year
- Performs topological sorting.☆17Feb 11, 2026Updated 3 weeks ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 10 months ago
- A sweet Clojure API for Atomix☆17Feb 17, 2017Updated 9 years ago
- Emacs for human beings (extended CUA mode)☆26Feb 11, 2025Updated last year
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Dec 1, 2017Updated 8 years ago
- Package registry for mason, Chapel's package manager☆21Jan 16, 2026Updated last month
- Relational Algebra at your fingertips☆62Dec 3, 2014Updated 11 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- An Emacs package providing additional features for working with BibTeX files & citations☆19Jul 3, 2019Updated 6 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- Violette is a simple functional programming language.☆26Oct 11, 2025Updated 4 months ago
- Parser with a nebulous purpose☆18Feb 3, 2021Updated 5 years ago
- ☆19May 18, 2023Updated 2 years ago
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- A library for hypergraphs and hypergraph algorithms☆28Oct 30, 2015Updated 10 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Nov 7, 2020Updated 5 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- The Coil Programming Language☆33Mar 19, 2024Updated last year
- IDE support for the functional logic programming language Curry☆35Oct 23, 2025Updated 4 months ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- The Steel separation logic library for F*☆36Nov 24, 2025Updated 3 months ago
- Finite sets and maps for Coq with extensional equality☆30Jan 16, 2026Updated last month