barrikad Goto Github PK
Name: Simon Tobias Lund
Type: User
Bio: Map.fold (fun m1 k vs -> mapAdd (Set.fold (fun m2 v -> mapAdd m2 (v,v)) m1 vs) (k,k)) collapsed collapsed
Simon Tobias Lund's Projects
algpy
MicroPython code for the course DB4 at DTU
authlab
Authentication lab for Data Security course at DTU
commod
A tool for formal analysis of a guarded command language
epistemic_project
ghost-code
ghost-code-program-verification
Files associated with verifying the soundness of using ghost code for program verification. The project is mainly in Isabelle/HOL.
hybrid-logic
Different projects related to hybrid logic. Mostly Isabelle/HOL.
intro-to-ai
isa_sim
Assignment 2 in Intro2CybSyst
mathlib4
The math library of Lean 4
monotonesecurity
nand-nor-in-isabelle
Propositional provers based on nand(non) and nor(nis) in Isabelle/HOL. The basis for the paper A Case Study in Computer-Assisted Meta-reasoning presented at DCAI 2021.
nanocop-in-isabelle
An experiment in formalizing the non-clausal connection calculus by Jens Otten in Isabelle.
prgprj
Code and exercises for the course 30010 at DTU
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.