neurallambda's repositories
lmql
A language for typed, constraint-guided and efficient LLM programming.
divinaition
An AI Game Master for Exploring Latent Space With Your Human Crew.
cda_machine_learners
Coeur D'Alene Machine Learners
haskell-fortran
A demonstration connecting Fortran (and C) code to Haskell, and to HMatrix.
linearmap-family
Purely-functional, coordinate-free linear algebra
free-vector-spaces
Instantiate the classes from the vector-space package with the types from linear
lsp-haskell
lsp-mode :heart: haskell
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
concat
Compiling to Categories
dunai
Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
rhine
Haskell Functional Reactive Programming framework with type-level clocks
vector-space
Vector & affine spaces, linear maps, and derivatives
qio-haskell
The Quantum IO Monad, implemented in Haskell
yesod-cookbook
Cookbook documentation
timetrack-servant
A PoC for a Servant API
leiningen
Automate Clojure projects without setting your hair on fire.
pydstool
PyDSTool main development repo
vtkInterface
Python interface for VTK
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
how-to-haskell
A battleground.
clj-time
A date and time library for Clojure, wrapping the Joda Time library.
caller-id-poc
A Simple Compojure Demo for creating a REST API
emacs.d
My Emacs
xmonad-ubuntu-conf
My xmonad config for Ubuntu 14.04 and 12.04, including package list, config files, and instructions.