JaSpa

JaSpa's Stars

• junegunn/fzf

  :cherry_blossom: A command-line fuzzy finder

  Language:Go65.6k3942.8k2.4k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.4k112897470

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k99190400

• junegunn/fzf.vim

  fzf :heart: vim

  Language:Vim Script9.7k751.3k585

• jorgebucaran/fisher

  A plugin manager for Fish

  Language:Shell7.8k216587265

• groue/GRDB.swift

  A toolkit for SQLite databases, with a focus on application development

  Language:Swift6.9k841k710

• snare/voltron

  A hacky debugger UI for hackers

  Language:Python6.2k156208414

• xcpretty/xcpretty

  Flexible and fast xcodebuild formatter

  Language:Ruby3.9k66228284

• haskell/haskell-language-server

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

  Language:Haskell2.7k522.2k367

• jaspervdj/patat

  Terminal-based presentations using Pandoc

  Language:Haskell2.4k337561

• edc/bass

  Make Bash utilities usable in Fish shell

  Language:Python2.2k216771

• Pithikos/C-Thread-Pool

  A minimal but powerful thread pool in ANSI C

  Language:C2.1k7765604

• purescript-halogen/purescript-halogen

  A declarative, type-safe UI library for PureScript.

  Language:PureScript1.5k42421218

• SmiteshP/nvim-navic

  Simple winbar/statusline plugin that shows your current code context

  Language:Lua1.4k89151

• simdutf/simdutf

  Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension. Part of Node.js, WebKit/Safari, Ladybird, Cloudflare Workers and Bun.

  Language:C++1.2k2422375

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k2924973

• igorkulman/ChangeMenuBarColor

  Simple utility to change macOS Big Sur and Monterey menu bar color by appending a solid color or gradient rectangle to a wallpaper image

  Language:Swift966116237

• swarm-game/swarm

  Resource gathering + programming game

  Language:JavaScript8381577252

• fjvallarino/monomer

  An easy to use, cross platform, GUI library for writing Haskell applications.

  Language:Haskell5941916244

• haskell/ghcide

  A library for building Haskell IDE tooling

  Language:Haskell58337197

• quchen/stgi

  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

  Language:Haskell527249526

• softdevteam/grmtools

  Rust grammar tool libraries and binaries

  Language:Rust514157731

• fourmolu/fourmolu

  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

  Language:Haskell360819263

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell25831519

• knupfer/type-of-html

  High performance type safe html generation

  Language:Haskell126875

• Udzu/pudzu

  Various python scripts, mostly geared towards dataviz.

  Language:Roff1038018

• kowainik/validation-selective

  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

  Language:Haskell6673611

• scy/timesheet.txt

  A plain-text timesheet file format and tools for it.

  Language:Python573172

• AndrasKovacs/normalization-bench

  Lambda normalization and conversion checking benchmarks for various implementations

  Language:Haskell551386

• holidaycheck/nix-remote-builder

  Easy way to set up a linux remote builder in docker

  Language:Shell28824