hrb90

hrb90's Stars

• automerge/automerge-classic

  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

  Language:JavaScript14.7k199276464

• NVlabs/stylegan

  StyleGAN - Official TensorFlow Implementation

  Language:Python14.2k45303.2k

• google/guice

  Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 11 and above, brought to you by Google.

  Language:Java12.5k5221.2k1.7k

• cyanharlow/purecss-francine

  HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.

  Language:CSS7.8k15851507

• dvyukov/go-fuzz

  Randomized testing for Go

  Language:Go4.8k85173279

• google/fuzzing

  Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

  Language:C++3.6k11330437

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k521879

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX763551866

• staltz/prevent-smoosh

  Don't let TC39 use smoosh or smooshMap

  Language:JavaScript7289320

• davidbrewer/xmonad-ubuntu-conf

  My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.

  Language:Haskell4154417165

• locuslab/SATNet

  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

  Language:Python409361752

• pelotom/unionize

  Boilerplate-free functional sum types in TypeScript

  Language:TypeScript402174114

• Dongdongshe/neuzz

  neural network assisted fuzzer

  Language:C4012120104

• gamozolabs/applepie

  A hypervisor for fuzzing built with WHVP and Bochs

  Language:C++368263356

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  33024235

• evertedsphere/silica

  optics for Haskell with the most amazing type errors you've seen

  Language:Haskell2421837

• lpw25/girards-paradox

  A "implementation" of Girard's paradox in OCaml

  Language:OCaml105812

• MonoidMusician/dhall-purescript

  Dhall implementation in PureScript

  Language:PureScript969155

• purescript/purescript-record

  Functions for working with records and polymorphic labels

  Language:PureScript68113131

• isovector/cccc

  🖼️ the compiling to closed categories compiler

  Language:Haskell66662

• joneshf/elm-comonad

  Declarative UIs are the Future — And the Future is Comonadic!

  Language:Elm54415

• joneshf/purty

  GitHub mirror for CI ONLY. All development happens on GitLab.

  Language:Haskell40801

• ayberkt/sequents

  Proof search for intuitionistic propositional logic using Dyckhoff's LJT.

  Language:Standard ML26720

• cohomolo-gy/homotopy-type-theory-notes

  HoTT Note-taking action

  Language:TeX25500

• twitchard/purescript-alexa

  Types and helper functions for writing Alexa skills in purescript

  Language:PureScript9200

• fgaim/HornVecs

  Subword informed Word Embedding for Templatic Languages: Tigrinya, Amharic, Arabic ...

  Language:C++8301

• maxdavidson/dynamic-typed-array

  Dynamically growing typed arrays

  Language:JavaScript8300

• hdgarrood/purescript-polynomials

  Language:PureScript620

• amyszczepanski/international_coin

  I hear that blockchain is all the rage these days.

  520

• maitria/NYC-Idris

  Notes and random things from the NYC Idris meetup

  Language:Idris130