gfngfn

gfngfn's Stars

• koalaman/shellcheck

  ShellCheck, a static analysis tool for shell scripts

  Language:Haskell35.3k4182.6k1.7k

• slidevjs/slidev

  Presentation Slides for Developers

  Language:TypeScript31.6k1339431.2k

• jsplumb/jsplumb

  Visual connectivity for webapps

  7.7k26001.5k

• ynqa/jnv

  Interactive JSON filter using jq

  Language:Rust4.5k152744

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.1k57884312

• rollup/plugins

  🍣 The one-stop shop for official Rollup plugins

  Language:JavaScript3.6k36962561

• beancount/beancount

  Beancount: Double-Entry Accounting from Text Files.

  Language:Python3.5k46521292

• wavedrom/wavedrom

  :ocean: Digital timing diagram rendering engine

  Language:JavaScript2.8k89337351

• jgm/djot

  A light markup language

  Language:HTML1.6k3018343

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k2133847

• tweag/ormolu

  A formatter for Haskell source code

  Language:Haskell9313454883

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:OCaml6711473644

• hiroshi-manabe/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:TeX458281217

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml4481914084

• ollef/Earley

  Parsing all context-free grammars using Earley's algorithm in Haskell.

  Language:Haskell361214124

• quchen/prettyprinter

  A modern, extensible and well-documented prettyprinter.

  Language:Haskell290915234

• ocharles/weeder

  A re-implementation of weeder using HIE files

  Language:Haskell16286826

• jsplumb/community-edition

  The community edition of jsPlumb, versions 1.x - 6.x

  Language:JavaScript14121.1k10

• anmonteiro/httpaf

  A high performance, memory efficient, and scalable web server written in OCaml

  Language:OCaml316115

• mmottl/pcre-ocaml

  OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

  Language:OCaml305248

• dbuenzli/uuseg

  Unicode text segmentation for OCaml

  Language:OCaml23685

• dbuenzli/uunf

  Unicode text normalization for OCaml

  Language:OCaml226177

• momohatt/graten

  "Gradual Tensor Shape Checking" (ESOP 23)

  Language:Haskell8100

• yudaitnb/vl

  PWV Functional Language

  Language:Haskell7100

• Kyure-A/satysfi-ts-mode

  A tree-sitter based major-mode for SATySFi

  Language:Emacs Lisp5201

• MasWag/satysfi-parallel

  Typesetting two texts parallel

  Language:Makefile5200

• sano-jin/satysfi-footnote-scheme-ext

  A package to allow SATySFi to have floating boxes at the bottom of pages.

  3100

• hazelgrove/error-localization-artifact

  POPL 2024 artifact for Total Type Error Localization and Recovery with Holes

  Language:Reason2

• zeptometer/lispjit

  PoC lisp interpreter that performs JIT Common-Lisp code generation

  Language:Common Lisp210

• zeptometer/compiler-learning

  playground for compiler

  Language:Rust110