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