Light

gregr / experiments Goto Github PK

View Code? Open in Web Editor NEW

16.0 4.0 3.0 821 KB

a steady descent into madness

Haskell 11.99% Scheme 31.69% Agda 0.33% Python 0.17% Racket 44.70% CSS 0.07% HTML 7.02% Shell 0.06% Elm 3.97%

experiments's Introduction

This is a pile of nonsense produced while playing around with half-baked ideas.  Don't hurt yourself trying to figure it out.

None of this should be useful.  If I find that I'm mistaken, the useful bits will be moved to form a new project, restoring order to the universe.

experiments's People

Contributors

Stargazers

Watchers

Forkers

qfhuang hermetique gl-yziquel

experiments's Issues

A license is required to restore order to verse

Hi.

I cloned your repo and attempted to restore order to the universe, as per your README.

https://github.com/gl-yziquel/gregr-verse

Your code seems to be the only implementation of the verse calculus that I know to be publicly available on the net.

A license would be most welcomed.

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.