BNFC/bnfc

BNF Converter

Language: TeX - Size: 7.58 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 564 - Forks: 159

nice-digital/bnf-gatsby

Website for NICE British National Formulary (BNF) and British National Formulary for Children (BNFC). Built with Gatsby and using the NICE Design System

Language: TypeScript - Size: 3.8 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0

deeplang-org/deeplang-type-system

DeepLang type system based on Ocaml

Language: OCaml - Size: 1.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 7 - Forks: 1

mwarzynski/uw_dust

Interpreter for Dummy Rust programming language.

Language: Haskell - Size: 1.05 MB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

JanWittler/DPTypeChecker

Type Checker for Type System on Differential Privacy

Language: C - Size: 198 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

JanWittler/BNFC_CToSwift

A tool to create a bridging from BNFC generated C files to Swift.

Language: Swift - Size: 37.1 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

starsep/lang 📦

My own programming language and its interpreter for Programming Languages and Paradigms course @ University of Warsaw

Language: Haskell - Size: 947 KB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

Ogochi/XYZ-Interpreter

Interpreter of made up language. Whole is written in haskell with use of BNFC.

Language: Haskell - Size: 283 KB - Last synced: 10 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 1

agurod42/vscode-lbnf

An extension for VS Code which provides support for the LBNF language.

Size: 3.04 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Wild-Queue/stella

A tool for checking types in the stella functional programming language. The repository also contains tests to check if the tool works correctly

Language: C - Size: 5.85 MB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

teach-plt/www

Webpages of course Programming Language Technology

Language: Java - Size: 14.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

lpiekarski/TycheLang

Imperative programming language interpreter

Language: Haskell - Size: 5.61 MB - Last synced: 11 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

drknzz/wolke-lang

☁️ Wolke language interpreter ☁️

Language: Haskell - Size: 1.56 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

dcavar/fle

Free Linguistic Environment

Language: C++ - Size: 1.77 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 1

dkasak/lbnf.vim Fork of vim-scripts/lbnf.vim

LBNF (Labelled Backus Naur Form) vim syntax file

Language: Vim Script - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

tyoung3/sw

StreamWork Go Code Generation and Flow-Based-Programming Engine

Language: C - Size: 61.8 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

miketsukerman/meta-haskell

Yocto layer for haskell

Language: BitBake - Size: 31.3 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 1

thaolt/katebasic

A Modern BASIC Programming language which support Chip8

Language: Assembly - Size: 434 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 3 - Forks: 0

bananahell/trabalhoLP-CriaLinguagem

Trabalho da matéria de Linguagens de Programação, UnB - 2020/2

Language: Haskell - Size: 7.81 KB - Last synced: 12 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 1

miketsukerman/conan-bnfc

Conan recipe for BNFC compiler tool

Language: CMake - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

taktoa/pegc

A parser generator, similar to BNFC, that takes a parsing expression grammar and outputs PEGTL C++ for it. (WIP)

Language: Haskell - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

jmitchell/bnfc-mode

Emacs mode for BNFC files

Language: Emacs Lisp - Size: 101 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 8 - Forks: 1

dcavar/TreebankParser

Parser for treebanks based on Penn Treebank type of encoding that generates Probabilistic Context Free Grammars

Language: C - Size: 186 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 3

MaciejWanat/haskell-parser

Haskell parser of zeroth-order logic formulas

Language: Haskell - Size: 4.52 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

quqixun/PLTNotes

Code and notes for course Programming Language Technology, using BNFC to make interpretor and compiler for programming languages.

Language: C - Size: 903 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rikukissa/haskell-command-parser

Language: Haskell - Size: 27.3 KB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0