Projects in Awesome Lists tagged with formal-languages

https://github.com/litexlang/golitex

Litex is a simple formal language Learnable in 2 hours.

ai aiforscience formal-languages golang litex math reasoning

Last synced: 01 May 2026

https://github.com/prithivirajdamodaran/styleformer

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

active formal-languages informal-sentences nlp passive slang style-transfer text-style text-style-transfer text-style-transfer-benchmark

Last synced: 05 Apr 2025

https://github.com/PrithivirajDamodaran/Styleformer

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

active formal-languages informal-sentences nlp passive slang style-transfer text-style text-style-transfer text-style-transfer-benchmark

Last synced: 02 Apr 2025

https://github.com/fizzbee-io/fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus

Last synced: 21 May 2026

https://github.com/choukh/Set-Theory

A formalization of the textbook Elements of Set Theory

coq formal-languages math set-theory theorem-proving

Last synced: 10 Jul 2025

https://github.com/choukh/set-theory

A formalization of the textbook Elements of Set Theory

coq formal-languages math set-theory theorem-proving

Last synced: 25 Oct 2025

https://github.com/dmbaturin/bnfgen

Generates random text based on context-free grammars defined in BNF

bnf formal-languages hacktoberfest ocaml text-generation

Last synced: 09 Mar 2026

https://github.com/filippodaniotti/appunti-lfc

Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento

appunti appunti-lfc compilatori compiler formal-languages latex latex-document linguaggi-formali universit-di-trento university

Last synced: 21 Aug 2025

https://github.com/moonad/Moonad

Moonad: a p2p academic journal, or a social network for code?

academic-journals formal-languages formal-verification formality functional-programming game-development moonad

Last synced: 10 Jul 2025

https://github.com/kadircet/ceng

All the homeworks, testers and projects done at METU-CENG

algorithms computer-organization computer-science deep-learning embedded-systems formal-languages game-theory logic-design machine-learning metu-ceng networking operating-systems programming-language-concepts

Last synced: 19 Apr 2025

https://github.com/mehanix/teme-fmi

🎓 Homework/Coursework during my bachelor's in Computer Science

algorithms-and-data-structures artificial-intelligence computer-science cpp data-structures database-design databases fmi formal-languages haskell homework-exercises ios-swift java mips-assembly nodejs operating-systems python signal-processing webdev

Last synced: 11 Mar 2026

https://github.com/krishnachandran-u/pykleene

Python library for building and simulating automata and formal grammars

automata formal-languages

Last synced: 03 Feb 2026

https://github.com/chaoses-ib/formallanguages

binary-analysis formal-languages reverse-engineering x86

Last synced: 12 May 2025

https://github.com/jakubriegel/putflap

Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.

automaton cli formal-languages jflap json

Last synced: 06 Jul 2025

https://github.com/idsia/fwp-formal-lang

Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)

fast-weight-programmers fast-weights formal-languages linear-transformers pytorch self-referential-learning self-referential-weight-matrix

Last synced: 30 Apr 2025

https://github.com/masyagin1998/tfl

ИУ9. Теория формальных языков. Ыкстрымально сложнааааа

formal-languages iu9

Last synced: 19 Mar 2025

https://github.com/europ/vutbr-fit-tin

VUTBR - FIT: TIN 2018/2019

completeness complexity computer-science context-free decidability finite-state-automaton finite-state-machine fit formal-languages pushdown-automaton recursive recursively-enumerable reduction regular tin turing-machine vut vutbr

Last synced: 23 Jan 2026

https://github.com/melihovv/grammar_review_tool

Tool for review formal grammars in Bison/Lemon format

bison formal-languages laravel lemon php review-tools

Last synced: 14 Apr 2025

https://github.com/serengti/theo_inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

automata-theory complexity-theory computability-theory formal-languages theoretical-computer-science

Last synced: 24 Jan 2026

https://github.com/micycle1/pflap

Processing Formal Languages and Automata Package

automata automatons awt cp5 dfa dpa formal-languages machine p5 p5js processing processing-library processing-sketch pushdown-automaton swing

Last synced: 28 Apr 2025

https://github.com/cs-astronaut/regex-to-automata

A Tool for Drawing the DFA/NFA of a Regex for a Regular Language

automata-theory dfa dfa-minimization finite-automata formal-languages nfa nfa-to-dfa-conversion powerset-construction regex-to-automata regular-expression thompson-construction

Last synced: 06 Mar 2026

https://github.com/shilangyu/balanced-parentheses-dart-3

Solving balanced parentheses problem using Dart 3 type system

balanced-parentheses dart formal-languages records

Last synced: 16 Oct 2025

https://github.com/niklaskorz/nklang

A programming language interpreter written in Go

formal-languages golang interpreter lexer parser semantics

Last synced: 01 May 2025

https://github.com/wzjoriv/mipu

Active learning tool designed to explore the pumping lemma property for regular language

educational-technology formal-languages pumping-lemma regular-expressions regular-languages

Last synced: 22 Jul 2025

https://github.com/mo-karbalaee/computation-theory4j

My practices and implementation during my studies on computation theory at SBU

automata-theory computation-theory formal-languages

Last synced: 02 Aug 2025

https://github.com/andy-messer/formal-languages-practice-2

Realization of Earley's algorithm

earley-parser formal-languages mipt-homeworks python

Last synced: 09 Apr 2025

https://github.com/mohammadkarbalaee/computation-theory4j

My practices and implementation during my studies on computation theory at SBU

automata-theory computation-theory formal-languages

Last synced: 27 Mar 2025

https://github.com/comfreek/basic-ontology-language

An experimental ontology language formalized in Coq with many semantics

coq-formalization formal-languages formal-methods ontologies semantics

Last synced: 08 Aug 2025

https://github.com/mehanix/dfa-nfa-acceptor

🖧 Program that loads a DFA/NFA from a file, then checks if words are accepted by the automata.

automata computer-science deterministic-finite-automata dfa formal-languages homework homework-assignments homework-exercises nfa nondeterministic-finite-automata

Last synced: 05 Apr 2025

https://github.com/yaccconstructor/langtogroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

formal-languages group-theory group-theory-algorithms haskell-application

Last synced: 10 Jul 2025

https://github.com/choukh/metalogic

first-order logic and set theory

agda formal-languages formalization mathematical-logic mathematics

Last synced: 27 Jan 2026

https://github.com/onurozuduru/string-matcher-project

Project for Formal Languages & Automata Theory course.

algorithm automata formal-languages gui java project string-matcher

Last synced: 23 Jun 2026

https://github.com/benknoble/formallang

Formal languages in Clojure

cfg clojure dfa formal-languages

Last synced: 17 Jul 2026

https://github.com/meyer1994/regular

Project done for formal languages and compilers class

automata formal-languages grammar ufsc vuejs

Last synced: 15 May 2026

https://github.com/husain3012/automatasim

A simulator, and sharing platform, for automatons.

automata-simulator automata-theory formal-languages nextjs turing-machine typescript

Last synced: 19 Apr 2026

https://github.com/gabrielmajeri/tutoriat-lfa

Materiale de la tutoriatul de Limbaje Formale și Automate

automata formal-languages regex

Last synced: 17 Feb 2026

https://github.com/memergamer/formalisnyelvek

Formális nyelvek labor feladatok 2023 - Sapientia EMTE

dfa dfa-minimization formal-languages rust sapientia-university

Last synced: 29 Nov 2025

https://github.com/ark2016/tfl-automatisation

Multi-agent pipelines for formal-languages problems (REG/CFL/DCFL/LL) with a local web UI. Powered by Claude + LangGraph.

agents anthropic automata-theory bmstu bmstu-iu9 cfl claude dcfl formal-languages formal-languages-and-automata iu9 langgraph ll multi-agent pda regex regular tfl vpl

Last synced: 08 Jul 2026

https://github.com/lgalke/linsys

Lindenmayer systems in python

formal-languages lindenmayer-systems

Last synced: 21 May 2026

https://github.com/kbnim/fonya-jegyzetek

ELTE-IK Formális nyelvek és a fordítóprogramok alapjai

chomsky-hierarchy compilers formal-languages lecture-notes ll-parser lr-parser regular-expressions

Last synced: 19 Mar 2026

https://github.com/reisaraujo-miguel/jflap-ng

JFLAP-NG brings JFLAP to the next generation with Java 25, modern dependencies and build tools

automata formal-languages gradle grammar-checker grammar-parser java jflap l-systems

Last synced: 11 Apr 2026

https://github.com/5ht/bertrand

🧊 Metamath система

formal-languages theorem-prover

Last synced: 08 Apr 2025

https://github.com/lemniscate-world/robust-lambda

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

formal-languages lambda lambda-calculus lambda-calculus-evaluator

Last synced: 25 Mar 2025

https://github.com/forked-from-1kasper/principia

Principia: Metamath-like Logician Language

formal-languages logic mathematics metamath proof-assistant theorem-prover

Last synced: 23 Apr 2025

https://github.com/hamidb80/dfa-sim

DFA simulator

dfa formal-languages konva nim simulator university-project

Last synced: 07 Oct 2025

https://github.com/Lemniscate-world/Robust-Lambda

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

formal-languages lambda lambda-calculus lambda-calculus-evaluator

Last synced: 13 Oct 2025

https://github.com/c0mput3r5c13nt15t/dhbw-formal-languages

Lecture on formal languages at the DHBW in the summer semster 2025

dhbw formal-languages lecture

Last synced: 13 Mar 2026

https://github.com/dnl-blkv/whynot-compiled

An experiment on Whynot.js

finite-state-automata finite-state-machine formal-languages

Last synced: 19 Oct 2025

https://github.com/hazimavdal/regex

A library for parsing and operating on formal regular expressions

brzozowski-derivative formal-languages parsing regular-expression regular-expressions smlnj

Last synced: 28 Feb 2026

https://github.com/gabboraron/algoritmuselmelet

A félév első részében (első 6 téma) az automataelmélettel foglalkozunk. A félév második részében (7., 8. és 9. téma) a formális nyelvekkel foglalkozunk.

formal-languages formalisnyelvek turing-machine

Last synced: 05 Feb 2026