stepbrobd

stepbrobd's Stars

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript68.2k1.7k2.4k16.7k

• go-task/task

  A task runner / simpler Make alternative written in Go

  Language:Go11.9k74973631

• foostan/crkbd

  Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

  Language:Makefile5.8k96169995

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.6k2077.5k1.1k

• brianfrankcooper/YCSB

  Yahoo! Cloud Serving Benchmark

  Language:Java5k2139592.3k

• orhun/binsider

  Analyze ELF binaries like a boss 😼🕵️‍♂️

  Language:Rust2.9k74469

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63286231

• baresip/baresip

  Baresip is a modular SIP User-Agent with audio and video support

  Language:C1.8k911.1k450

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.7k403.1k412

• ocaml/merlin

  Context sensitive completion for OCaml in Vim and Emacs

  Language:OCaml1.6k381.1k234

• oracle/bpftune

  bpftune uses BPF to auto-tune Linux systems

  Language:C1.5k263781

• destel/rill

  Go toolkit for clean, composable, channel-based concurrency

  Language:Go1.5k8820

• janestreet/core

  Jane Street Capital's standard library overlay

  Language:OCaml1.1k45122111

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml97239681189

• ItsRiprod/DeskThing

  Desk Thing: The Discord Thing, Trello Thing, The Weather Thing, The Macro Thing, Just not The Car Thing anymore

  Language:TypeScript892205824

• janestreet/base

  Standard library for OCaml

  Language:OCaml87936103129

• ocaml-community/utop

  Universal toplevel for OCaml

  Language:OCaml85223322114

• ocaml/ocaml-lsp

  OCaml Language Server Protocol implementation

  Language:OCaml78520411123

• ocaml-ppx/ocamlformat

  Auto-formatter for OCaml code

  Language:OCaml64621855182

• sectordistrict/intentrace

  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta

  Language:Rust564478

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml4751914490

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook4125110964

• Xyphyn/photon

  An opinionated web client for Lemmy to help users discover the fediverse.

  Language:Svelte398533144

• bokwoon95/wgo

  Live reload for Go apps. Watch arbitrary files and respond with arbitrary commands. Supports running multiple invocations in parallel.

  Language:Go39151111

• ocaml-ppx/ppxlib

  Base library and tools for ppx rewriters

  Language:OCaml2531616199

• ProcursusTeam/launchctl

  An open source implemention of Apple's `launchctl(1)`

  Language:C84737

• joom/type.systems

  joke page until I decide what to do with this domain name

  Language:HTML35502

• ekala-project/corepkgs

  Core packages and NixOS modules for a poly-repo nixpkgs fork

  Language:Nix24242

• stepbrobd/rkt

  learn a useful language

  Language:CSS1

• stepbrobd/tvix

  forked from tvlfyi/tvix

  Language:Rust1