phlummox

phlummox's Stars

• kindaro/hpack-convert

  hpack-convert: Convert Cabal manifests into hpack's package.yamls

  Language:Haskell42

• haskell-to-elm/haskell-to-elm

  Generate Elm types, encoders, and decoders from Haskell types

  Language:Haskell618

• quil-lang/quilc

  The optimizing Quil compiler.

  Language:Common Lisp46072

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq38882

• sql-js/sql.js

  A javascript library to run SQLite on the web.

  Language:JavaScript12.8k1.1k

• vasanthk/how-web-works

  What happens behind the scenes when we type www.google.com in a browser?

  16.1k1.7k

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell57149

• SimonMarquis/FCM-toolbox

  📲 Firebase Cloud Messaging toolbox

  Language:Kotlin41674

• mustache/spec

  The Mustache spec.

  Language:YAML37171

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.6k349

• jaspervdj/websockets

  A Haskell library for creating WebSocket-capable servers

  Language:Haskell407113

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25520

• github-linguist/linguist

  Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

  Language:Ruby12.3k4.3k

• sdiehl/kaleidoscope

  Haskell LLVM JIT Compiler Tutorial

  Language:Haskell1k131

• llvm-hs/llvm-hs

  Haskell bindings for LLVM

  Language:LLVM511120

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig35.1k2.6k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust98.8k12.8k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k653

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k193

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k217

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k358

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k234

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.5k71

• IoLanguage/io

  Io programming language. Inspired by Self, Smalltalk and LISP.

  Language:C2.7k299

• wren-lang/wren

  The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

  Language:Wren6.9k556

• AlexKotik/embeddable-scripting-languages

  List of embeddable scripting languages

  513

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML630142

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k255

• ats-lang/ATS-Postiats-release

  ATS2: Unleashing the Potentials of Types and Templates

  Language:ATS413

• ats-lang/ats-lang.github.io

  For hosting certain parts of http://www.ats-lang.org

  Language:HTML269