keltono

keltono's Stars

• isovector/cornelis

  agda-mode for neovim

  Language:Haskell12922

• karpathy/micrograd

  A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

  Language:Jupyter Notebook10k1.4k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k393

• 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.

  Language:Haskell42029

• osa1/mincaml

  A MinCaml compiler implemented in Rust

  Language:Rust414

• granule-project/granule-compiler-llvm

  LLVM compiler for Granule

  Language:Haskell9

• llvm-hs/llvm-hs-examples

  Examples for Haskell bindings to LLVM

  Language:Haskell7020

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell58733

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust22.3k370

• flix/flix

  The Flix Programming Language

  Language:Scala2.1k151

• 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

  Language:Haskell4.9k193

• codemirror/view

  DOM view component for the CodeMirror code editor

  Language:TypeScript11569

• lezer-parser/xml

  An XML parser for lezer

  Language:JavaScript137

• clvv/fasd

  Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.

  Language:Shell5.9k225

• lezer-parser/lr

  Incremental parsing system

  Language:TypeScript61128

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k133

• codemirror/commands

  Collection of editing commands for the CodeMirror code editor

  Language:TypeScript2413

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix6.6k1.7k

• emilypi/group-theory

  The theory of groups

  Language:Haskell7611

• ctrlcctrlv/kjv1611

  A complete digital OpenType font restoration of the typeface found in the 1611 King James Bible

  Language:TeX956

• melt-umn/copper

  An integrated context-aware scanner and parser generator

  Language:Java174

• ms-jpq/chadtree

  File manager for Neovim. Better than NERDTree.

  Language:Python1.6k61

• fdehau/tui-rs

  Build terminal user interfaces and dashboards using Rust

  Language:Rust10.8k484

• zhuowei/nft_ptr

  C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

  Language:Rust2k36

• svanderburg/node2nix

  Generate Nix expressions to build NPM packages

  Language:Nix51598

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.6k354

• NixOS/cabal2nix

  Generate Nix build instructions from a Cabal file

  Language:Haskell354153

• Daniel-Liu-c0deb0t/uwu

  fastest text uwuifier in the west

  Language:Rust1.4k41

• kowainik/relude

  🌀 Safe, performant, user-friendly and lightweight Haskell standard library

  Language:Haskell69779

• mgrabmueller/AlgorithmW

  Example implementation of Algorithm W for Hindley-Milner type inference

  Language:TeX7711