danieljharvey

danieljharvey's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown322k5.5k70829.8k

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.6k1072.7k321

• amber-lang/amber

  💎 Amber the programming language compiled to Bash

  Language:Rust4k2525290

• jaspervdj/patat

  Terminal-based presentations using Pandoc

  Language:Haskell2.5k367661

• TheDan64/inkwell

  It's a New Kind of Wrapper for Exposing LLVM (Safely)

  Language:Rust2.4k20309234

• EmNudge/watlings

  Learn WebAssembly by writing small programs!

  Language:JavaScript1.6k8644

• oxalica/nil

  NIx Language server, an incremental analysis assistant for writing in Nix.

  Language:Rust1.4k810544

• mdn/webassembly-examples

  Code examples that accompany the MDN WebAssembly documentation — see https://developer.mozilla.org/en-US/docs/WebAssembly.

  Language:WebAssembly1.1k5215260

• austral/austral

  Systems language with linear types and capability-based security.

  Language:OCaml1.1k2830042

• Kixiron/rust-langdev

  Language development libraries for Rust

  91520525

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3978248

• BurntSushi/critcmp

  A command line tool for comparing benchmarks run by Criterion.

  Language:Rust22871116

• yorickpeterse/pattern-matching-in-rust

  Pattern matching and exhaustiveness checking algorithms implemented in Rust

  Language:Rust216303

• SPY/haskell-wasm

  Haskell WebAssembly Toolkit

  Language:Haskell152101124

• craigfe/progress

  Progress bar library for OCaml

  Language:OCaml13871615

• MercuryTechnologies/ghciwatch

  Load a GHCi session for a Haskell project and reload it when source files change

  Language:Rust1184910511

• hasura/pacha

  Connect your private data to LLMs

  Language:PLpgSQL771017

• jonascarpay/template-haskell

  batteries-included nix-based haskell project template

  Language:Shell6121611

• ebkalderon/example-fault-tolerant-parser

  Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)

  Language:Rust29412

• fir-lang/fir

  Language:Rust253233

• purefunctor/purescript-ouroboros

  Ouroboros is a PureScript compiler written in PureScript.

  Language:PureScript18200

• katsujukou/TaPL-in-PureScript

  The PureScript implementation for the *Types and Programming Language* by B. Pierce

  Language:PureScript17220

• kritzcreek/nemo-lang

  A small procedural programming language that compiles to Wasm GC

  Language:Rust143133

• osa1/h10

  A Haskell 2010 type checker

  Language:Rust14361

• cachix/hs-opentelemetry-instrumentation-servant

  OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.

  Language:Haskell12101

• i-am-tom/haskell

  A "monorepo" of "packages" that I accidentally ended up making while trying to do something else.

  Language:Haskell610

• runeksvendsen/haskell-function-graph

  Compose Haskell functions to reach one type from another

  Language:Haskell6220

• hasura/docs-assertion-tester

  Simple, declarative, AI-backed assertion testing for documentation contributions.

  Language:TypeScript3510

• i-am-tom/learn-me-a-rust

  Trying to get back all the stuff I had in Haskell.

  Language:Rust320

• krisajenkins/gleam-nix

  Build Gleam with Nix.

  Language:Nix210