david-christiansen Goto Github PK
Name: David Thrane Christiansen
Type: User
Location: Copenhagen, Denmark
Name: David Thrane Christiansen
Type: User
Location: Copenhagen, Denmark
A Racket pict for the IU logo
An LCF-with-validation-style proof refinement logic based on realizability
An Emac major mode for writing JonPRL code
The Java Symbolic Simulator, part of SAW.
eclipse plugin to support side-by-side proofs and code
Lean Theorem Prover
Lean 4 programming language and theorem prover
www
Parser combinators for Idris
An Emacs package to highlight special comments for in-buffer slide-shows.
Scripts for building Emacs packages from Version Control
An Emacs package for showing a buffer page-by-page, intended for presentations and live coding.
Example project demonstrating the use of the parameterized-utils library
A demo implementation of a simple dependently-typed language for OPLSS 2013
An implementation of Pie in Haskell
Examples of our PP lib
Project Interaction Library for Emacs
Compute pop-up menus from text and overlay properties
Tactics in the macro expander
A language-integrated proof assistant, for and in Racket
A port of QFeldspar to Idris
An ABT library for Racket
GNU Emacs major modes for Racket: Edit and REPL.
Prototype implementation of presentation-based UI widgets for Racket's GUI library
A zipper library for Racket
a few handy scripts to work with XML dumps from ReVo
Elaborate and expressive S-Expression library for Haskell
The SAW core language.
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.