lancelet
Mostly-functional programmer. BE(Mech) / BSc, PhD in Equine Biomechanics.
Sydney, NSW, Australia
lancelet's Stars
xi-editor/xi-editor
A modern editor with a backend written in Rust.
doomemacs/doomemacs
An Emacs framework for the stubborn martian hacker
HigherOrderCO/Kind
A modern proof language
koka-lang/koka
Koka language compiler and interpreter
tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
lehins/massiv
Efficient Haskell Arrays featuring Parallel computation
tweag/capability
Extensional capabilities and deriving combinators
djspiewak/parseback
A Scala implementation of parsing with derivatives
saschagrunert/nn
A tiny neural network 🧠
theam/tintin
📚 A softer alternative to Haddock
ocramz/sparse-linear-algebra
Numerical computation in native Haskell
weeezes/plot
Simple plotting tool for the terminal
aqsis/aqsis
A Renderman Compatible Renderer
wrstone/fonts-startrek
Star Trek TrueType Font Collection
haskell-works/hw-json
Tehnix/miso-isomorphic-stack
An example of an "isomorphic" Miso server set up with stack
erikd/haskell-big-integer-experiment
An experiment in re-implementing big integers in Haskell.
tomsmalley/semantic-reflex
🔧 Semantic UI for Haskell and Reflex-DOM
MWRuszczycky/rubiks
3D-Rubik's cube simulator written in Haskell using Gloss
ocramz/petsc-hs
Haskell bindings for PETSc and SLEPc
deech/fltkhs-themes-demo
willtim/Atavachron
Fast, scalable and secure de-duplicating backup.
LeventErkok/conjugateGradient
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
Xandaros/abnf
deech/fltkhs-themes
mkawalec/raytracer
A toy raytracer
pallavagarwal07/NixCI
Testing Nix Package manager capabiities over Travis CI.
luke-clifton/wshterm
Web based terminal emulator using websockets
Michaelt293/cntlm-password
Reset cntlm password
luke-clifton/macos-hs
Library for working with macOS in Haskell