Soft realtime electrophysiology setup
☆14Jan 8, 2016Updated 10 years ago
Alternatives and similar repositories for arte-ephys
Users that are interested in arte-ephys are comparing it to the libraries listed below
Sorting:
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Functional GPU programming - DSEL & compiler☆22Sep 9, 2016Updated 9 years ago
- Next generation tetrode drive implant☆20Apr 15, 2022Updated 3 years ago
- Multi-threaded 32-bit embedded core family.☆24Jul 9, 2012Updated 13 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- An authenticated data structure based on a red-black tree.☆54Jul 27, 2015Updated 10 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 3 months ago
- ☆30Mar 19, 2017Updated 8 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- A programming language with infinite arrays☆32Jan 21, 2020Updated 6 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Neural Signal Analysis☆14Jan 5, 2026Updated 2 months ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- Html shorthand for Elm☆32Sep 18, 2020Updated 5 years ago
- Run programs defined in nix expressions☆51Jan 31, 2017Updated 9 years ago
- Store for video frames and metadata. Seekable & scaleable☆11Feb 20, 2026Updated 2 weeks ago
- Compact hyperdrive for up to 16 independently movable electrodes☆17Aug 25, 2019Updated 6 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Mirror a Hydra jobset using IPFS or plain rsync☆44Jan 5, 2018Updated 8 years ago
- a Parallel Integration Scheme Organizer for partial differential equations solvers☆50Oct 9, 2016Updated 9 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Python library for Solid Modelling☆62Jul 5, 2017Updated 8 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆11Mar 30, 2016Updated 9 years ago
- An implementation of the Mixcoin mixing protocol☆13Nov 12, 2014Updated 11 years ago
- python for grin☆11Feb 28, 2026Updated last week
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- ☆11Nov 16, 2017Updated 8 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Smart contracts ported to Node and Q☆10Dec 7, 2016Updated 9 years ago
- LEMS interpreter implemented in Python☆12Nov 26, 2025Updated 3 months ago