vaibhavsagar

vaibhavsagar's Stars

• FrameworkComputer/Framework-Laptop-13

  Documentation for the Mainboard and other modules in the Framework Laptop 13

  Language:OpenSCAD1.6k362867

• avinassh/py-caskdb

  (educational) build your own disk based KV store

  Language:Python1.2k8191

• brickbots/framedeck

  A Framework mainboard based Cyberdeck

  98419516

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell26031519

• luc-tielen/eclair-lang

  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

  Language:Haskell22142212

• timokau/nix-bisect

  Bisect nix builds. Status: alpha/proof of concept. You'll probably have to dig into the implementation if you want to use it. Built for personal use, lightly maintained. PRs welcome. Issues welcome, but I make no promises regarding responses or fix

  Language:Python10241511

• jonascarpay/calligraphy

  haskell source code visualizer

  Language:Haskell9852213

• MarcusRainbow/Haxcel

  Excel Addin for Haskell

  Language:Rust33413

• jwoudenberg/shy

  Safely build shell one-liners with live feedback!

  Language:Haskell31400

• shapr/sandwatch

  Remember how long commands take, tell me if I have enough time to make a sandwich

  Language:Nix25391

• bollu/lean-to

  Jupyter notebook for the Lean4 programming language

  Language:C++2434

• Ericson2314/baccumulation

  24525

• imcarvalho/my-favourite-emojis

  Slack emojis compendium

  Language:Shell23201

• saulpw/jdot

  JSON minus Notation plus Macros

  Language:Python21424

• shapr/kudzu

  coverage driven random testing framework

  Language:Nix214102

• ocramz/thih

  typing haskell in haskell

  Language:Haskell1531

• masaeedu/halfsp

  Language:Haskell11316

• ssadler/aeson-quick

  Haskell library for quick JSON extractions with Aeson

  Language:Haskell10230

• wenkokke/chez-scheme-hs

  Haskell bindings to Chez Scheme

  Language:Haskell1020

• lynaghk/tidy-codebase-starter-kit

  Language:Shell9301

• tvh/ekg-wai

  Remote monitoring of Haskell processes

  Language:JavaScript93311

• Gabriella439/ghcjs-demo

  Example GHCJS demo

  Language:Haskell8402

• lf-/hsfixit

  WIP: Automatic warning fixer for GHC 9.4+

  Language:Haskell620

• ekmett/auth-rs

  authenticated data structures in rust

  Language:Rust520

• GaloisInc/language-sleigh

  A parser for the Sleigh language, which is used to represent ISA semantics in Ghidra

  Language:Haskell590

• bhipple/nixos-config

  Configuration for my NixOS desktop

  Language:Nix4300

• justinwoo/easy-ormolu-nix

  Language:Nix430

• lfborjas/yesod-mode

  Basic syntax highlighting for Yesod's DSLs

  Language:Emacs Lisp3301

• anniecherk/dotfiles

  Language:Shell120

• carlohamalainen/carlohamalainen.github.io

  Language:JavaScript121