Similar repositories to affeldt-aist/succinct:

• affeldt-aist/succinct github similar
• uds-psl/certifying-extraction-with-time-bounds github similar
• gstew5/games github similar
• fizruk/simple-grin github similar
• msullivan/typecoin github similar
• benjaminselfridge/logix github similar
• math-comp/algebra-tactics github similar
• coq-community/graph-theory github similar
• unnohideyuki/Tiger-in-Haskell github similar
• thoughtpolice/strict-ghc-plugin github similar
• langston-barrett/coq-big-o github similar
• hdbc/hdbc-postgresql github similar
• albertoruiz/hTensor github similar
• david-christiansen/IdrisSqlite github similar
• fizruk/rzk github similar
• McMasterU/HashedExpression github similar
• uwplse/pumpkin-pi github similar
• bodil/purescript-vdom github similar
• grin-compiler/idris-grin github similar
• willtim/recursion-schemes github similar
• robdockins/edison github similar
• affeldt-aist/infotheo github similar
• coq-community/coqeal github similar
• ekmett/structures github similar
• ocharles/dhallql github similar
• CoqEAL/CoqEAL github similar
• bjpop/ministg github similar
• kazu-yamamoto/hhp github similar
• sharkdp/purescript-sparkle github similar
• HeinrichApfelmus/operational github similar
• DeepSpec/dsss17 github similar
• timbertson/opam2nix github similar
• jwiegley/coq-pipes github similar
• coq/opam-coq-archive github similar
• y-taka-23/thank-you-stars github similar
• jozefg/nbe-for-mltt github similar
• coq-community/corn github similar
• zrho/purescript-optic-ui github similar
• UnkindPartition/regex-applicative github similar
• bgavran/Compositional_Deep_Learning github similar