Alternatives and similar repositories for RFCRestyle:

Users that are interested in RFCRestyle are comparing it to the libraries listed below

• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• rethab / awk-jvm
  a toy jvm in awk
  ☆164Updated 3 years ago
• mhagger / diff-slider-tools
  Tools for experimenting diff "slider" heuristics
  ☆39Updated 8 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• dlthomas / sql-viewer
  GHCJS front-end for queryparser
  ☆80Updated 6 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 5 months ago
• stevenpack / asroute
  Interpret traceroute output to show names of ASN traversed
  ☆154Updated 4 years ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated last month
• res-eng / resilience-for-software
  Introduction to resilience engineering concepts for software engineers
  ☆69Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆21Updated 4 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• swlaschin / RailwayOrientedProgramming
  Railway Oriented Programming slides and code
  ☆94Updated 11 years ago
• breck7 / 30000hours
  How many hours have you spent practicing programming?
  ☆59Updated 4 years ago
• xorhash / fh
  file history with ed(1), diff(1), awk(1), sed(1) and sh(1)
  ☆108Updated 4 years ago
• jq-shell / jqsh
  The jqsh scripting language
  ☆12Updated 9 years ago
• lukego / blog
  Luke Gorrie's blog
  ☆564Updated 2 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• AlexITC / collabuml
  A collaborative UML editor; build with etherpad and plantuml
  ☆170Updated 10 months ago
• MarkForged / GOMP
  GOMP (Git cOMPare) is a tool for comparing branches.
  ☆212Updated 9 months ago
• vignat / vignat
  [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…
  ☆75Updated 3 years ago
• na0214 / linear-lambda-calculus
  An implementation of Linear Lambda Calculus.
  ☆15Updated 5 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 10 months ago
• mmai / Category-Theory-for-the-Sciences
  ebook versions of the book "Category Theory for the Sciences" by David I. Spivak
  ☆114Updated 9 years ago
• dhall-lang / vscode-dhall-lsp-server
  VSCode pluging that provides LSP support for the Dhall programming language
  ☆17Updated 2 years ago
• hwayne / learntla
  A TLA+ guide
  ☆279Updated 2 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆131Updated last year