evaluation using f-algebras
☆23Sep 7, 2015Updated 10 years ago
Alternatives and similar repositories for Feval
Users that are interested in Feval are comparing it to the libraries listed below
Sorting:
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- A Sublime Text package which simulates Conway's Game of Life through your Sublime Text file's contents!☆10May 4, 2015Updated 10 years ago
- Haskell implementation of the SWIM epidemic gossip protocol☆12Apr 10, 2019Updated 6 years ago
- A docker image for Fortran -> js compilation☆22Nov 18, 2014Updated 11 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- RRB-Trees: Efficient Immutable Vectors☆52Nov 5, 2012Updated 13 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Feb 3, 2015Updated 11 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- Generate C++ API client libraries from Protocol Buffers.☆14Jan 17, 2020Updated 6 years ago
- Unikernel written in rust☆33Feb 25, 2016Updated 10 years ago
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- A visualization for pipelines☆10Jul 3, 2020Updated 5 years ago
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- C Compiler written in WASI☆11Jun 14, 2020Updated 5 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- ☆11May 7, 2023Updated 2 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- ☆12Feb 17, 2018Updated 8 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- A collection of scripts which output xmobar-readable information☆12Nov 13, 2021Updated 4 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated last year
- In short, mio is memcached + "range search".☆40Sep 16, 2010Updated 15 years ago
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- Includes a file with zstd compression in Rust☆13Feb 17, 2023Updated 3 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- A Common Lisp command-line tool for executing shell commands via SSH.☆12Jul 14, 2015Updated 10 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- Neuroevolution of Augmented Topologies (NEAT) -- in Haskell☆12Jun 15, 2017Updated 8 years ago