danr Goto Github PK
Name: Dan Rosén
Type: User
Company: @pharmbio
Name: Dan Rosén
Type: User
Company: @pharmbio
Integers and eventually Rationals and eventually² Reals
Various agda projects
Online judge for Agda problems
anishtro is a layout for the letters of the English alphabet, made for symmetrical keyboards with at least one main key per thumb.
Argo Workflows: Get stuff done with Kubernetes.
Automatic induction in Agda
Agda Web(Browser) Editor
Awesome AVA resources
Set urxvt and bspwm colours dynamically using base16 schemes
Base16 (https://github.com/chriskempson/base16) for Kakoune (https://github.com/mawww/kakoune/)
imgui for python
a make system
dotfiles
Kakoune extension to connect a program to the current client
The content behind MDN Web Docs
Haskell Contracts Checker
Technical report and articles about the contracts checker hcc/HALO
A presentation about first-class functions in Dafny
doctests for typescript
XMonad configuration
What do people have in their dotfiles?
dvtm brings the concept of tiling window management, popularized by X11-window managers like dwm to the console. As a console window manager it tries to make it easy to work with multiple console based programs.
Simple inductive prover with detailed proof output
little riddles and fiddles
DSL for writing TPTP theories
Forsp: A Forth+Lisp Hybrid Lambda Calculus Language
Generate generalized fmap, foldMap and traverse
Use TH to generate uniplate-like functions.
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.