kframework Goto Github PK
Name: K framework
Type: Organization
Location: University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Blog: http://kframework.org
Name: K framework
Type: Organization
Location: University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Blog: http://kframework.org
Formal semantics of AADL in K
An executable algorithmic language. The algorithms are executed over abstract data types like arrays, structures, cons lists (viewed as abstractions of simple linked lists).
Semantics of C in K
Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.
Haskell's Core in K.
K Homebrew tap
The semantics of Java in K
K semantics for the javacard language
KJS: A Complete Formal Semantics of JavaScript
Semantics of the Java Virtual Machine.
Defining the semantics of K in K
The K tools (deprecated, see README)
Project Template
kale backend
K-framework simple debugger
Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
Formal semantics of LLVM IR in K
Formal semantics of LLVM IR in K (old)
modelink-semantics
Formal semantics of OCaml
Formal Semantics of P4 in K
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.