derpyxd's Stars
sanctuary-js/sanctuary
:see_no_evil: Refuge from unsafe JavaScript
jfecher/ante
A safe, easy systems language
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
chrisdone/hell
Haskell-based shell scripting language
VictorTaelin/Taelang
my personal lang
fantasyland/fantasy-land
Specification for interoperability of common algebraic structures in JavaScript
dhall-lang/dhall-haskell
Maintainable configuration files
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
ekzhang/sshx
Fast, collaborative live terminal sharing over the web
awkward-squad/ki
A structured concurrency library
tldr-pages/tldr
📚 Collaborative cheatsheets for console commands
algebraic-dev/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
HigherOrderCO/Bend
A massively parallel, high-level programming language
sotte/presenting.vim
A simple tool for presenting slides in vim based on text files.
paladin-t/fantasy
A curated list of available fantasy consoles/computers.
SawyerHood/draw-a-ui
Draw a mockup and generate html for it
Donaldttt/fuzzyy
A vim9 fuzzy finder plugin with minimal dependency and mordern UI
jart/cosmopolitan
build-once run-anywhere c library
yesodweb/persistent
Persistence interface for Haskell allowing multiple storage methods.
girishji/vimcomplete
Async autocompletion for Vim.
MaisaMilena/telegram-math-quiz
IHaskell/IHaskell
A Haskell kernel for the Jupyter project.
izakdvlpr/codepix
Simulate banking transactions using Pix keys through microservices.
shiika-lang/shiika
A statically-typed programming language
Psykka/migrash
A language-agnostic simple SQL migration tool
anton-k/mig
Lightweight and composable servers for Haskell
co-log/co-log
📓 Flexible and configurable modern #Haskell logging framework
scotty-web/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
lagunoff/htmlt
Lightweight frontend library for GHC with JavaScript Backend