david-christiansen Goto Github PK
Name: David Thrane Christiansen
Type: User
Location: Copenhagen, Denmark
Name: David Thrane Christiansen
Type: User
Location: Copenhagen, Denmark
White-box automation for Lean 4
Data Types a la Carte in Idris
AML mode for Emacs
A variant of the Wadler-Leijen pretty-printer that allows arbitrary semantic annotations
A Idris Mode for Atom.io
A Haskell library for generating Code 128 barcodes
Unofficial IT University of Copenhagen beamer style
A Brainf**k interpreter in Idris
A Racket literate programming system without tangling
Official upstream development repository for Cabal and cabal-install
CLP(SMT) on top of miniKanren
Pure Haskell commonmark parsing library, designed to be flexible and extensible
Cryptol: The Language of Cryptography
A Cryptol major mode for Emacs.
A very little language
A billable-time invoice featuring style over substance
Work on type class deriving with elaboration reflection
Document Generator for Lean 4
A clone of DrRacket-style Unicode symbol input for Emacs
DrRacket, IDE for Racket
Experimentation with dynamically loading C libraries from Haskell (learning exercise)
An Old Norse input method for Emacs
A version of Epigram 1 that can run with newer GHCs
Failing to create a Lean environment extension
A monadic (and pretty) pretty printer for Haskell
Modern on the fly syntax checking for GNU Emacs
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.