seanwestfall

seanwestfall's Stars

• hirrolot/metalang99

  Full-blown preprocessor metaprogramming

  Language:C87925

• binji/raw-wasm

  Raw WebAssembly demos

  Language:WebAssembly43717

• caotic123/PomPom-Language

  The cuteness implementation of a dependently typed language.

  Language:Haskell1886

• joehillen/sysz

  An fzf terminal UI for systemctl

  Language:Shell1.6k27

• spectreconsole/errata

  A library that makes it easy to create and display diagnostics of different kinds.

  Language:C#34413

• truevault-safe/hipaa-compliance-developers-guide

  A developers guide to HIPAA compliance and application development.

  1.7k185

• getzola/zola

  A fast static site generator in a single binary with everything built-in. https://www.getzola.org

  Language:Rust14.3k978

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k434

• higherkindness/mu-haskell

  Mu (μ) is a purely functional framework for building micro services.

  Language:Haskell33319

• movsim/traffic-simulation-de

  Source code for javascript simulation of website

  Language:JavaScript986144

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml34945

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust36.9k3.6k

• matsumonkie/izuna

  Show Haskell type annotations when doing code review on Github

  Language:Haskell1414

• sordina/churros

  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)

  Language:Haskell324

• dkopko/klox

  An interpreter

  Language:C++1806

• samyk/slipstream

  NAT Slipstreaming allows an attacker to remotely access any TCP/UDP services bound to a victim machine, bypassing the victim’s NAT/firewall, just by anyone on the victim's network visiting a website

  Language:Perl1.9k210

• raganwald/presentations

  Conference Talks and Proposals

  75062

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36228

• robertaboukhalil/jqkungfu

  A jq playground, written in WebAssembly

  Language:HTML14419

• jqlang/jq

  Command-line JSON processor

  Language:C30.7k1.6k

• topshell-language/topshell

  TopShell - a purely functional, reactive scripting language

  Language:Scala4819

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k142

• frameable/aviary.sh

  Minimal distributed configuration management in bash

  Language:Shell1.3k36

• ColinEberhardt/wasmweekly

  Website for the WebAssembly weekly newsletter

  Language:HTML7511

• mikesol/plzwrk

  A Haskell front-end framework

  Language:Haskell371

• cohomolo-gy/haskell-resources

  A List of Foundational Haskell Papers

  Language:JavaScript86271

• sebastiaanvisser/clay

  A CSS preprocessor as embedded Haskell.

  Language:Haskell36073

• mirth-lang/mirth

  Compiler for the Mirth programming language.

  Language:C44514

• hundredrabbits/Ronin

  Experimental Graphics Terminal

  Language:HTML1.2k68

• bigskysoftware/htmx

  </> htmx - high power tools for HTML

  Language:JavaScript38.8k1.3k