jsnajder / genprog
Genetic programming library
☆23Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for genprog
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- ☆35Updated 12 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 7 years ago
- Source for personal blog.☆76Updated last week
- Generic random generators☆81Updated last year
- A port of Google's word2vec to Haskell☆26Updated 8 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Matrix operations in 100% pure Haskell☆33Updated 11 months ago
- Fork of official GHC repository.☆44Updated 9 months ago
- ☆20Updated 7 years ago
- A talk on type-generic FFT in Haskell☆45Updated 3 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 5 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated last year
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated 2 weeks ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A simple Idris program to blink the LED on an Arduino☆55Updated 3 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- i bet you there is a typesystem behind music☆30Updated 6 years ago
- State-space estimation algorithms and models☆26Updated 8 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- haskell memory☆48Updated last year
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Haskell plotting library☆44Updated 2 months ago