keltono's Stars
isovector/cornelis
agda-mode for neovim
karpathy/micrograd
A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
tommythorn/Reduceron
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
osa1/mincaml
A MinCaml compiler implemented in Rust
granule-project/granule-compiler-llvm
LLVM compiler for Granule
llvm-hs/llvm-hs-examples
Examples for Haskell bindings to LLVM
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
dandavison/delta
A syntax-highlighting pager for git, diff, grep, and blame output
flix/flix
The Flix Programming Language
digitallyinduced/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
codemirror/view
DOM view component for the CodeMirror code editor
lezer-parser/xml
An XML parser for lezer
clvv/fasd
Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.
lezer-parser/lr
Incremental parsing system
dmjio/miso
:ramen: A tasty Haskell front-end framework
codemirror/commands
Collection of editing commands for the CodeMirror code editor
nix-community/home-manager
Manage a user environment using Nix [maintainer=@rycee]
emilypi/group-theory
The theory of groups
ctrlcctrlv/kjv1611
A complete digital OpenType font restoration of the typeface found in the 1611 King James Bible
melt-umn/copper
An integrated context-aware scanner and parser generator
ms-jpq/chadtree
File manager for Neovim. Better than NERDTree.
fdehau/tui-rs
Build terminal user interfaces and dashboards using Rust
zhuowei/nft_ptr
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
svanderburg/node2nix
Generate Nix expressions to build NPM packages
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
NixOS/cabal2nix
Generate Nix build instructions from a Cabal file
Daniel-Liu-c0deb0t/uwu
fastest text uwuifier in the west
kowainik/relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
mgrabmueller/AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference