purukaushik / acm-pandoc-paper

Related projects ⓘ

Alternatives and complementary repositories for acm-pandoc-paper

• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 8 years ago
• schollz / markdown2tufte
  Process markdown into a nice Tufte-like website
  ☆31Updated 4 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆45Updated 11 months ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 9 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 5 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• norswap / template-sigplan
  ☆31Updated 7 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 7 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 12 years ago
• buildsome / buildsome
  Buildsome: The awesome build system
  ☆53Updated 2 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• mikeizbicki / parsed
  a haskellified version of the classic sed unix tool
  ☆21Updated 9 years ago
• codahale / sketchy
  A small set of useful probabilistic data structures.
  ☆69Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 6 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago
• DickingAround / InconvenientMessageDetection
  ☆14Updated 9 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• rescrv / gitswitch
  Hubs operate at layer one; switches operate at layer two.
  ☆13Updated 8 years ago
• johshoff / concurrent_queue
  WORK IN PROGRESS concurrent queue in Rust
  ☆16Updated 6 years ago
• waynenilsen / capnp-ffi
  Use Cap’n Proto as a better method of FFI communication
  ☆24Updated 9 years ago
• da-x / git-search-replace
  A utility on top of Git for project-wide search-and-replace that includes filenames too
  ☆49Updated 2 years ago
• mpw / pLucid-osx
  A "port" of plucid that works on OS X
  ☆12Updated 10 years ago