Topic: acsl Goto Github
Some thing interesting about acsl
Some thing interesting about acsl
acsl,Alphastar Ada master course CC39-21 - Covers several different CP competitions
User: asubramanian08
acsl,The first practice challenge for the ACSL Competition 2021-2022
User: awesomeplayer165
acsl,The first practice challenge for the ACSL Competition 2021-2022 written in Swift
User: awesomeplayer165
acsl,A Swift program designed to calculate the daily pay for each employee. The Second Challenge in preparing for the ACSL Contest
User: awesomeplayer165
acsl,A repository for holding solutions to the ACSL 2017-2018 contest problems.
User: burtorustum
acsl,Tiny programs with ACSL specifications.
User: evdenis
acsl,Fully proved small C functions (examples for verification course).
User: evdenis
acsl,Программы для работы с репозитарием AstraVer
User: evdenis
acsl,Small examples of ACSL specifications.
User: evdenis
acsl,A number of utilities for writing ACSL specifications for a Linux module.
User: evdenis
acsl,Linux kernel library functions formally verified.
User: evdenis
acsl,Public snapshots of "ACSL by Example"
Organization: fraunhoferfokus
acsl,C++ solutions for the ACSL contest 2016-2017 edition
User: gabrielmajeri
acsl,Inlining of ACSL predicates and logic functions
User: gpetiot
acsl,Static & Dynamic Verification of C programs
User: gpetiot
acsl,ACSL grammar built up from official specification, with C grammar behind
Organization: interpretica-io
acsl,Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
User: jcarrano
acsl,An interpreter for the programming language featured in ACSL's "What Does this Program Do" questions
User: kylediaz
Home Page: https://kylediaz.com/projects/acsl-interpreter/
acsl,A Study in Implementing Functional Programming Languages
User: pqnelson
acsl,xACSL Assembly
User: yikuansun
Home Page: https://yikuansun.github.io/assemblyer/
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.