zmthy Goto Github PK
Name: Timothy Jones
Type: User
Location: Ōtautahi
Blog: https://zmthy.net
Name: Timothy Jones
Type: User
Location: Ōtautahi
Blog: https://zmthy.net
489 w/ uhc
Kihi implementation for Advent of Code 2021
A library for Haskell supporting asynchronous IO with a fork-join model.
Define your language under an abstracted functor and get different type systems as a result: an Agda exercise
QuickCheck for Cabal
Cats eye pattern maker in Eclipse
CatsEye pattern maker for the web
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
A showcase of interesting code and proof developments in Cedille
Optics for Cedille.
Unfancy JavaScript
Markup as CoffeeScript.
A basic game for COMP 103 workshop.
Personal Doom Emacs configuration.
My personal configuration files.
The Elm programming language aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.
A fully pluggable tool for identifying and reporting on patterns in JavaScript.
A web editor for Grace
An Emacs mode for the Grace programming language
A package manager for Minigrace
Bindings for the Processing graphics library in Grace
A Textmate Bundle for the Grace programming language
Graceless semantics in PLT Redex.
An implementation of the Graceless language in Spoofax
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
🍻 Default formulae for the missing package manager for macOS
An asynchronous JavaScript interpreter for the Grace programming language
An attempt to use OpenGL and Reactive Banana to make Pong.
Haskell HTTP package
Processing HTTP Content-Type and Accept headers
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.