Alternatives and similar repositories for UW-CSE-Data-Parser:

Users that are interested in UW-CSE-Data-Parser are comparing it to the libraries listed below

• xkcd / kurita
  A system for competitive selection, primarily of emoji
  ☆9Updated 5 years ago
• google / netkat
  Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
  ☆16Updated this week
• Alhadis / language-etc
  Syntax highlighting for various configs and file-formats too specific to warrant their own repositories.
  ☆13Updated 4 months ago
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆32Updated last week
• OpenStarscape / starscape-server
  This project has moved
  ☆11Updated last year
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆14Updated 2 years ago
• jonsterling / sml-modernized-algol
  Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
  ☆15Updated 7 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• recursecenter / blaggregator
  A blog aggregator for the Recurse Center community
  ☆62Updated last month
• djtech42 / YikYakTerminal
  Python implementation of Yik Yak using the pyak API by joseph346. Read, post, upvote, and downvote yaks.
  ☆73Updated 9 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆32Updated last month
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• april-cools / april-cools.github.io
  April Cools' Club website
  ☆15Updated 9 months ago
• OlegSmelov / omgrofl-interpreter
  Omgrofl interpreter
  ☆16Updated 4 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• ColdSauce / Masia
  Gameboy Color game written in C using the GBDK.
  ☆14Updated 9 years ago
• fossas / spectrometer
  Flexible, robust, and performant dependency analysis.
  ☆20Updated 3 years ago
• iolivia / fizzbuzz
  FizzBuzz in all the languages
  ☆14Updated 3 weeks ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 11 months ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆17Updated last year
• nikhiljha / experiments
  small/cute/fun projects that don't need their own repo
  ☆19Updated 3 years ago
• bogdanb / hpmor
  Latex version of “Harry Potter and the Methods of Rationality”
  ☆12Updated last year
• xldenis / whycode
  ☆19Updated 3 weeks ago
• NorfairKing / the-notes
  The Notes
  ☆12Updated 7 years ago