formal-language

There are 0 repository under formal-language topic.

• princeton-nlp / dyck-transformer

  [ACL 2021] Self-Attention Networks Can Process Bounded Hierarchical Languages

  transformersself-attentiondyckregular-languageformal-languageaclacl2021
  Language:Python 12

• narteche / QBDef

  A very general generator to create QBF instances in popular formats given the formal definition of a formula family.

  qbf-instancesfamilyformulasqbfsatformal-languageparser
  Language:Python 3

• CarsonScott / L-System-Grammar

  A class for creating and implementing L-system grammars in python

  formal-grammarfractalrewrite-systemproduction-rulesformal-languagebiologymodelingrecursion
  Language:Python 2

• MuvvalaKaran / LTLCtrlSyn

  Synthesis of a controller for system with linear dynamics using restricted LTL formula

  formal-languageltlltl-formulascontrol-synthesislinear-systemsmodel-checkingguaranteesafetysafe-trajectories
  Language:C 2

• cpslab-asu / forek

  Formal Requirements Toolkit

  formal-languagetemporal-logicmonitoringparser
  Language:C++ 1

• lpapailiou / fac

  A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).

  javajava-8cupflexjflexflex-cupformal-languagebnfregexautomatonprogramming-languagetheoretical-computer-scienceinterpretercompiler-constructionparserjavafxjavafx-applicationtoy-language
  Language:Java 1

• lxstsvnd / Euclid

  Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations

  distributed-computingformal-languageformal-logic
  Language:C++ 1

• quasa0 / mipt_regular-expressions-automata

  A somewhat sophisticated regular expression parser utilizing a finite automata

  cppalgorithmsformal-languageautomataparserregular-expressions
  Language:C++ 1

• Deviloxide / MIU-System

  An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid

  javalogicmiupuzzle-solversolvermiu-systemmu-puzzleformal-languageformal-languages
  Language:Java 0

• diegolrs / NFA-nondeterministic-finite-automaton

  NFA (nondeterministic finite automaton) simulator using C++

  automatoncomputer-theorycppformal-languageformal-language-and-automata-theoryformal-languagesformal-languages-compilerstheory-of-computationufpb
  Language:C++ 0

• mierzejk-WAT / polish-notation

  ANTLR-based (normal) Polish notation to .NET Framework compiler, with reflection and embedded scripting.

  antlr4csharpformal-languagegrammar-parser
  Language:C# 0

• ewdlop / Prompt-Engineering.md

  Ask ChatGPT to response in Non-axiomatic Mathematics;套路;話術;我有內鬼，我素內鬼，曾有內鬼，曾有賢內助, 賢內助?

  chain-of-thoughtdall-e-3midjourneystable-diffusion-webuiretrival-augmented-generationhow-to-hit-peopletalking-jutsugodel-sentenceformal-language
  Language:Python

• gaetanserre / Formal-Language-Algorithms

  Algorithms for formal language written with Python 3 with nltk

  formal-languagell-parsernltkcyk-algorithm
  Language:Python

• Transparency-Information-Language / vocabularies

  This repository deals with custom vocabularies that can be used to further specify fields of tilt (Transparency Information Language and Toolkit).

  transparency-enhancing-technologiesjsonjson-schematiltvocabulariespurposesformal-languagemodeltransparency-information-languageschema