rindPHI/FirstOrderParser rindPHI/FirstOrderParser

  • Stars
    star
    8
  • Rank 2,094,620 (Top 42 %)
  • Language
    Java
  • Created over 10 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rindPHI/FirstOrderParser
github

rindPHI

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.

More Repositories

1

isla

The ISLa (Input Specification Language) language & solver.
Python
56
star
2

islearn

ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
Python
14
star
3

FSAUtils

Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
Scala
14
star
4

grammar2regex

Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
Python
6
star
5

pluggabl

A symbolic execution analysis based on the Soot analysis framework.
Kotlin
4
star
6

schvalid

A Schematron validator
Python
4
star
7

ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
Java
4
star
8

isla-bash-fuzzer

A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
Shell
2
star
9

GrammarGraph

Creation of Graphs from Context-Free Grammars
Jupyter Notebook
2
star
10

ANTLR-BFG-Converter

Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
Python
2
star
11

NeoGrammarGraph

Performant Graph Operations on Context-Free Grammars
Python
1
star
12

vim-key

Syntax Highlighting / Folding for KeY Files
Java
1
star
13

FSAUtilsGUI

GUI frontend for FSAUtils for visual creation of DFA/NFA/RE and access to FSAUtils operations.
Scala
1
star
14

se-book-festschrift-rh

Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
Jupyter Notebook
1
star