Pinned Repositories
aml-in-coq
Applicative Matching Logic in Coq
arl-in-coq
Abstract Rewrite Systems specified in Coq
excel-database
A Wordpress plugin for structuring, displaying, and querying data in an MS Excel spreadsheet table
haskell-play
Exploring Haskell
k-framework
language-k
propositions-as-types
Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers
semantics-in-lean
A companion for the Foundations of Programming Languages class @ UNIBUC
traiansf's Repositories
traiansf/excel-database
A Wordpress plugin for structuring, displaying, and querying data in an MS Excel spreadsheet table
traiansf/arl-in-coq
Abstract Rewrite Systems specified in Coq
traiansf/propositions-as-types
Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers
traiansf/haskell-play
Exploring Haskell
traiansf/k-framework
traiansf/language-k
traiansf/semantics-in-lean
A companion for the Foundations of Programming Languages class @ UNIBUC
traiansf/aml-in-coq
Applicative Matching Logic in Coq
traiansf/bucharest-lean-ac
Content for Bucharest Autumn School
traiansf/covid-declaratie
Generare si semnare automata a declaratiei pe propria raspundere
traiansf/crl-tool
An implementation of Cartesian Reachability Logic
traiansf/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
traiansf/flp
Fundamentals of Programing Languages
traiansf/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
traiansf/k
K Framework Tools 5.0
traiansf/kale
kale backend
traiansf/kore
traiansf/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
traiansf/matching-logic-prover
traiansf/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
traiansf/pandoc-tangle
Simple tangler for Pandoc
traiansf/progdecl
traiansf/rust-play
Experimenting with Rust
traiansf/rvmatch-eclipse-plugin
traiansf/semantics-in-coq
A companion for the FLP class @ UNIBUC
traiansf/sets-in-coq
Some basic set theory implemented in Coq
traiansf/traiansf.github.io
traiansf/verified-smart-contracts
Smart contracts which are formally verified
traiansf/vim-unicoder
unicoder.vim: easy unicode characters in insert mode with abbreviations
traiansf/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K