alizter Goto Github PK
Name: Ali Caglayan
Type: User
Location: London, United Kingdom
Ali Caglayan's Projects
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
parcw
parcw2
Second parallel computing coursework
picow-cgm
platform
Multi platform setup for Coq, Coq libraries and tools
pp
Pretty printing library
printbox
print nested boxes, lists, arrays, tables in several formats
raytracer
A simple ray tracer written by Ali Caglayan.
readthedocs.org
The source code that powers readthedocs.org
real-closed
Theorems for Real Closed Fields
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
riscv-coq
RISC-V Specification in Coq
serenity
The Serenity Operating System 🐞
spacetime_lib
Library for decoding Spacetime profiles
spectral
stdlib2
structtact
Coq utility and tactic library.
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssreflect
thereactagen
tlc
Library for Classical Coq
uthesis
Undergraduate thesis
verdi
A framework for formally verifying distributed systems implementations in Coq
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
vst
Verified Software Toolchain
wildcat
Experimental Wild Category theory library
www
Source files of the coq.inria.fr website (static part)
zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.