Topic: formal-semantics Goto Github
Some thing interesting about formal-semantics
Some thing interesting about formal-semantics
formal-semantics,The essence of Rust.
User: aatxe
Home Page: https://aaronweiss.us/pubs/draft20-oxide.pdf
formal-semantics,A retargetable and extensible synthesis-based compiler for modern hardware architectures
User: akothen
formal-semantics,A style guide for Coq
Organization: appliedfm
Home Page: https://vstyle.readthedocs.io
formal-semantics,Proof of concept
User: behnaaz
formal-semantics,CakeML: A Verified Implementation of ML
Organization: cakeml
Home Page: https://cakeml.org
formal-semantics,Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Organization: cister-labs
Home Page: https://cister-labs.github.io/fvoca2223/
formal-semantics,Formal semantics of LLVM IR in K
User: davidlazar
formal-semantics,A library for manipulating DMRS structures
Organization: delph-in
formal-semantics,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.
User: erwanm974
formal-semantics,Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
User: erwanm974
formal-semantics,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.
User: gabrieldesh
Home Page: https://gabrieldesh.github.io/concurrent-lambda-calculus
formal-semantics,Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
User: geovanas
formal-semantics,"Languages, Compilers, and Interpreters" Course Material
User: glpaparelli
formal-semantics,Distributional Formal Semantics (DFS) tools
User: hbrouwer
Home Page: https://github.com/hbrouwer/dfs-tools
formal-semantics,fspl: Formal Semantics of Programming Languages
User: hengxin
formal-semantics,My senior thesis in linguistics
User: iafisher
formal-semantics,A natural language understanding system
User: iafisher
formal-semantics,Formally correct DSLs
User: iamrecursion
formal-semantics,NAACL2022 Interactive Symbol Grounding with Complex Referential Expressions
Organization: itl-ed
formal-semantics,Clojure implementation of Generalized Quantifiers for English sentences.
User: jimtyhurst
formal-semantics,Formal Semantics (INF-UFRGS)
User: jpedrosilveira
formal-semantics,Formal Semantics of P4 in K
Organization: kframework
formal-semantics,Tableau-based Theorem Prover for Natural Logic and Language
User: kovvalsky
formal-semantics,Язык С++ ВМК 2 курс 1 поток
User: leesfy
formal-semantics,Formal Semantics Labs in Gofer
User: loradd
formal-semantics,
User: nclarius
Home Page: https://nclarius.github.io
formal-semantics,K Learning Experience
User: sdasgup3
formal-semantics,Artifact Evaluation, PLDI'19
User: sdasgup3
formal-semantics,Artifact Evaluation, PLDI'20
User: sdasgup3
formal-semantics,Distributional Formal Semantics (DFS) tools
Organization: sfb1102
Home Page: https://github.com/hbrouwer/dfs-tools
formal-semantics,First formal system of Gödel Escher Bach
User: tn1ck
Home Page: https://tn1ck.github.io/MIU/
formal-semantics,A simple but extensible Python module for sentences
Organization: toda-lab
formal-semantics,Practical Program Analysis (academic course) presented in Innopolis University in 2023
User: yegor256
Home Page: https://yegor256.github.io/ppa/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.