kavon / yaml-ast

Related projects ⓘ

Alternatives and complementary repositories for yaml-ast

• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 6 years ago
• lyokha / vim-publish-helper
  vim plugin that makes vim syntax highlighting engine available in pandoc
  ☆15Updated this week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆22Updated 2 months ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆26Updated 4 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• drever / ct-consciousness
  ☆14Updated 4 months ago
• koehlma / rigorous
  A framework for working with inference rules.
  ☆10Updated 3 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• mkery / Variolite
  ☆16Updated 7 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆24Updated 7 months ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 4 years ago
• alexpdp7 / pandocsql
  Embed and execute SQL in Markdown
  ☆13Updated 8 months ago
• prologbyexample / code
  ☆27Updated last year
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated last year
• pdubroy / ohm-som
  A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.
  ☆17Updated 9 months ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated last year
• andychu / webpipe
  Bridge the terminal and browser
  ☆18Updated last year
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆25Updated 3 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 9 months ago