derpyxd

derpyxd's Stars

• Copilot-Language/copilot

  A stream-based runtime-verification framework for generating hard real-time C code.

  Language:Haskell64752

• girishji/autosuggest.vim

  Autocompletion for Vim's command-line.

  Language:Vim Script604

• unadlib/mutative

  Efficient immutable updates, 2-6x faster than naive handcrafted reducer, and more than 10x faster than Immer.

  Language:TypeScript1.6k18

• amix/vimrc

  The ultimate Vim configuration (vimrc)

  Language:Vim Script30.6k7.3k

• nihui/ruapu

  Detect CPU features with single-file

  Language:C27838

• ffmpegwasm/ffmpeg.wasm

  FFmpeg for browser, powered by WebAssembly

  Language:C14.2k831

• jaspervdj/profiteur

  Visualiser for Haskell (GHC) prof files

  Language:JavaScript19215

• Gabriella439/simple-twitter

  A bare-bones Twitter clone implemented in a single file

  Language:Nix72533

• CrystalSplitter/ghcitui

  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

  Language:Haskell561

• svecosystem/formsnap

  Functional, accessible, and powerful form components for Svelte. 🫰

  Language:Svelte53026

• MysteryMS/pencraft-cc

  ComputerCraft computer scripts for Pencraft modpack

  Language:Lua1

• haskell-effectful/effectful

  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

  Language:Haskell36928

• HigherOrderCO/kind2-archive

  Temporary repository for Kind2's refactor based on HVM2

  Language:Rust28327

• BRonen/typoggers-lang

  Static typed poggers programming language

  Language:Haskell6

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda36427

• FreeRDP/FreeRDP

  FreeRDP is a free remote desktop protocol library and clients

  Language:C10.9k14.8k

• VictorTaelin/interaction-calculus-of-constructions

  A minimal proof checker.

  Language:TypeScript583

• mpickering/eventlog2html

  Visualise eventlog events as a static webpage

  Language:Haskell6915

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k172

• vimwiki/vimwiki

  Personal Wiki for Vim

  Language:Vim Script8.8k628

• apple/password-manager-resources

  A place for creators and users of password managers to collaborate on resources to make password management better.

  Language:JavaScript4.2k449

• input-output-hk/serdoc

  Semi-automatic documentation generation for serialization formats

  Language:Haskell2

• scottbez1/splitflap

  DIY split-flap display

  Language:JavaScript3.2k263

• ntdevlabs/tiny11builder

  Scripts to build a trimmed-down Windows 11 image.

  Language:PowerShell9.4k818

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell23.3k1k

• iu-parfunc/gibbon

  A compiler for functional programs on serialized data

  Language:C15713

• Universidade-Livre/rinha-de-algoritmos

  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!

  Language:Python16536

• VictorTaelin/taemoba

  131

• taffybar/taffybar

  A gtk based status bar for tiling window managers such as XMonad

  Language:Haskell693136

• commercialhaskell/stackage

  Stable Haskell package sets: vetted consistent packages from Hackage

  Language:Dockerfile527805