Alternatives and similar repositories for jsmf-core:

Users that are interested in jsmf-core are comparing it to the libraries listed below

• adngdb / processeer
  Online Report Builder
  ☆10Updated 4 years ago
• parsimony-ide / parsimony
  a web-based development environment for constructing parsers by example (backend code)
  ☆17Updated 7 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• tdjsnelling / dat-keyserver
  a distributed PGP keyserver project based on the dat protocol
  ☆91Updated 3 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• lettergram / AnyCrypt
  A chrome extension that enables automatic encrypting and decryption of GPG messages over the web
  ☆18Updated 9 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆35Updated last year
• terminusdb / terminus-schema
  Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB
  ☆10Updated 5 years ago
• pietermartin / thundergraph
  tinkerpop blueprints graphdb on top on lmdb
  ☆20Updated 11 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 years ago
• calaylin / bda
  Programmer De-anonymization from Binary Executables
  ☆86Updated 7 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 3 years ago
• rochus-keller / FlowLine2
  FlowLine2 is a modelling tool supporting Functional Analysis and Business Process Modelling
  ☆15Updated 2 years ago
• berneout / berneout-pledge
  a simple tool for hassle-free open-source contribution licensing
  ☆32Updated 3 years ago
• kevoree-modeling / framework
  The Kevoree Modeling Framework
  ☆42Updated 8 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• ClemsonRSRG / RESOLVE
  RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …
  ☆24Updated last month
• ThomasChiroux / attowiki
  small wiki engine based on static reST files and git for versionning
  ☆26Updated 9 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆120Updated 4 years ago
• slideshow-s9 / docs
  slide show (s9) docs
  ☆12Updated 7 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• ncellar / autumn_archive
  A PEG parsing library
  ☆14Updated 5 years ago