traiansf Goto Github PK
Name: Traian Florin Șerbănuță
Type: User
Company: @fmi-unibuc, @ilds-institute, @pi-squared-inc
Location: Romania
Name: Traian Florin Șerbănuță
Type: User
Company: @fmi-unibuc, @ilds-institute, @pi-squared-inc
Location: Romania
Applicative Matching Logic in Coq
Automatically exported from code.google.com/p/annotated-java-api
Abstract Rewrite Systems specified in Coq
Content for Bucharest Autumn School
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
Fork of mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt.
Generare si semnare automata a declaratiei pe propria raspundere
An implementation of Cartesian Reachability Logic
Maven Plugin to Keep Error Codes in Sync with the K Framework C-Semantics
K Semantics of the Ethereum Virtual Machine (EVM)
A Wordpress plugin for structuring, displaying, and querying data in an MS Excel spreadsheet table
Fundamentals of Programing Languages
Exploring Haskell
Semantics of Virtual Machine for IELE prototype blockchain
K Framework Tools 5.0
kale backend
Hosts the website for mathlib and other Lean community infrastructure.
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Simple tangler for Pandoc
Automatically exported from code.google.com/p/pl-maude
Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers
pthread C programs exhibiting race conditions
A SOS-based interpreted in OCaml
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.