yegor256/ppa

Practical Program Analysis (academic course) presented in Innopolis University in 2023

Language: TeX - Size: 32.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 8 - Forks: 0

CakeML/cakeml

CakeML: A Verified Implementation of ML

Language: Standard ML - Size: 118 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,031 - Forks: 87

aatxe/oxide 📦

The essence of Rust.

Language: OCaml - Size: 1.26 MB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 125 - Forks: 4

kovvalsky/LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Language: Prolog - Size: 26.3 MB - Last synced at: 28 days ago - Pushed at: 29 days ago - Stars: 117 - Forks: 12

akothen/Hydride

A retargetable and extensible synthesis-based compiler for modern hardware architectures

Language: LLVM - Size: 391 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 10 - Forks: 1

appliedfm/vstyle

A style guide for Coq

Size: 646 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 0

iafisher/montague

A natural language understanding system

Language: Python - Size: 129 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 1

nclarius/nclarius

Size: 23.4 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

delph-in/pydmrs

A library for manipulating DMRS structures

Language: Python - Size: 427 KB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 14 - Forks: 6

itl-ed/igre

NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions

Language: Python - Size: 7.01 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

sdasgup3/learning-K

K Learning Experience

Language: Makefile - Size: 97.7 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

toda-lab/pystc

A simple but extensible Python module for sentences

Language: Python - Size: 41 KB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

hbrouwer/dfs-tools

Distributional Formal Semantics (DFS) tools

Language: Prolog - Size: 397 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 1

kframework/p4-semantics

Formal Semantics of P4 in K

Language: P4 - Size: 1.01 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 2

SFB1102/a1-c3-dfs-tools

Distributional Formal Semantics (DFS) tools

Language: Prolog - Size: 290 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

JPedroSilveira/formal-semantics

Formal Semantics (INF-UFRGS)

Language: OCaml - Size: 854 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

hengxin/fspl

fspl: Formal Semantics of Programming Languages

Size: 9.46 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

TN1ck/MIU

First formal system of Gödel Escher Bach

Language: JavaScript - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

davidlazar/llvm-semantics

Formal semantics of LLVM IR in K

Language: LLVM - Size: 14.4 MB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 41 - Forks: 9

behnaaz/constreofy

Proof of concept

Language: Java - Size: 6.76 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

cister-labs/fvoca2223

Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc

Language: HTML - Size: 2.11 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jimtyhurst/generalized-quantifiers

Clojure implementation of Generalized Quantifiers for English sentences.

Language: Clojure - Size: 110 KB - Last synced at: about 2 years ago - Pushed at: over 11 years ago - Stars: 4 - Forks: 1

iafisher/ling399 📦

My senior thesis in linguistics

Language: TeX - Size: 810 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

GeovanaS/SemanticaFormal

Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal

Language: Haskell - Size: 172 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

iamrecursion/absol

Formally correct DSLs

Language: Haskell - Size: 4.97 MB - Last synced at: 4 days ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 1

gabrieldesh/concurrent-lambda-calculus

Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.

Language: HTML - Size: 324 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

erwanM974/coq_hibou_label_equivalent_terms

Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.

Language: HTML - Size: 46.9 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

erwanM974/coq_hibou_label_semantics_equivalence

Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.

Language: HTML - Size: 178 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

sdasgup3/PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

Size: 710 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

loradd/gofer-labs

Formal Semantics Labs in Gofer

Language: JavaScript - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

sdasgup3/PLDI19-ArtifactEvaluation

Artifact Evaluation, PLDI'19

Size: 656 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0