benjaminselfridge

benjaminselfridge's Stars

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.5k3664.7k4.7k

• CSSEGISandData/COVID-19

  Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

  29.1k8663.8k18.4k

• musescore/MuseScore

  MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  Language:C++12.1k2399.6k2.6k

• XAMPPRocky/tokei

  Count your code, quickly.

  Language:Rust11k45436532

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k671.8k403

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k355

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k44327134

• mathdroid/covid-19-api

  COVID-19 global data (from JHU CSSE for now) as-a-service

  Language:TypeScript1.4k21124283

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell91019289116

• riscv-non-isa/riscv-arch-test

  Language:Assembly50254252191

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp35935487100

• DimaSamoz/mezzo

  A Haskell library for typesafe music composition

  Language:Haskell35415412

• LeventErkok/sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell241959233

• ucb-bar/berkeley-softfloat-3

  SoftFloat release 3

  Language:C2365415131

• GaloisInc/macaw

  Open source binary analysis tools.

  Language:Haskell2032812020

• GaloisInc/what4

  Symbolic formula representation and solver interaction library

  Language:Haskell1512410812

• alastairreid/mra_tools

  Tools to process ARM's Machine Readable Architecture Specification

  Language:Python12016622

• ndmitchell/extra

  Extra Haskell functions

  Language:Haskell9366038

• emilypi/group-theory

  The theory of groups

  Language:Haskell762411

• raaz-crypto/raaz

  Cryptographic library for Haskell

  Language:Haskell671015924

• gsdlab/clafer

  Clafer is a lightweight modeling language

  Language:Haskell4494413

• travitch/haggle

  An efficient graph library for Haskell

  Language:Haskell39756

• saboyle/latex-template-whitepaper-basic

  Basic latex template for research or business whitepapers and discussion docs

  Language:TeX30028

• GaloisInc/dismantle

  A library of assemblers and disassemblers derived from LLVM TableGen data

  Language:HTML2513215

• aisamanra/config-ini

  A monadic DSL for simple configuration parsing

  Language:Haskell2442512

• creichert/dockerfile

  A Haskell DSL for Generating Dockerfiles

  Language:Haskell10501

• rmitache/OpenConfigurator

  Open source product configuration based on visual feature models and Z3 SMT solver for providing solutions

  Language:JavaScript10301

• conal/NumInstances

  Instances of numeric classes for functions and tuples

  Language:Haskell7505

• ford-prefect/haskell-maze

  Language:Haskell230

• ddssff/pretty-class

  Deprecated in favor of Lennart's prettyclass package

  Language:Haskell1