imalsogreg / arte-ephysLinks
Soft realtime electrophysiology setup
☆14Updated 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:
- A complete, MATLAB-based spike-sorting package for extracellular electrode/tetrode recordings☆11Updated 7 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 4 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- State-space estimation algorithms and models☆28Updated 9 years ago
- Haskell dynamic RTS loader☆13Updated 9 years ago
- This repository hosts the NeuroML 2 Schema, the ComponentType definitions in LEMS and the core documentation of NeuroML2.☆60Updated 2 months ago
- ☆10Updated 7 years ago
- Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…☆23Updated 7 years ago
- Haskell module for working with genetic algorithms☆18Updated 14 years ago
- A talk on type-generic FFT in Haskell☆46Updated 4 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆51Updated 3 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- making data science easy and safe with data frames in haskell☆28Updated 8 years ago
- Haskell packages for computer vision, image processing, and pattern recognition☆95Updated 8 years ago
- Clifford algebra for Haskell! :D☆14Updated 11 years ago
- A Clash playground/starter kit, using Nix☆36Updated 6 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- your dynamic optimization buddy☆27Updated 6 years ago
- ☆14Updated 8 years ago
- nothing to see here☆21Updated 9 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- A solid modeling language in Haskell.☆29Updated 13 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- Haskell bindings for PicoSAT solver☆17Updated 5 years ago
- ☆34Updated 14 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 9 years ago
- Extended Kalman filtering in Haskell☆23Updated 7 years ago
- A multi-method simulation library☆81Updated last year