solonarv Goto Github PK
Type: User
Location: Freiburg i. Br.
Type: User
Location: Freiburg i. Br.
An alternative, fast discord client. No Electron allowed.
Haskell-style ADTs in Java.
My Advent of Code 2018 solutions.
My solutions for Advent of Code 2019.
My Advent of Code 2021 solutions.
My solutions for Advent of Code 2023.
A simple, ad-less app to access Android phones' various sensors and other hardware functions.
Generic/anonymous worlds for the Apecs ECS
Asteroids with fancy physics and shit. Also written in Haskell for some reason.
BetterTTV enhances Twitch with new features, bug fixes, and reduced clutter.
A magic mod for Minecraft based on nature and plant life.
A text-based client for Cards Against Humanity-type games.
Calling Rust code from Haskell: a simple example.
RTS game, a bit like armorgames.com/play/12855/dothack but way better.
Convert constraints to values that witness the con
"Vanilla-compatible" autocrafting mod for minecraft.
A minecraft mod that adds a type of world (like eg. superflat, risu's biospheres, ...) generating a CTM/Super Hostile type survival map
A double-buffered ECS written in Haskell.
Template Haskell to write DerivingVia-style instances that can coerce over multiple arguments.
Have you heard of our lord and savior Haskell?
A rendering library for the Elian Script (http://www.ccelian.com/concepca.html), built as a learning exercise
A discord bot that runs code via jupyter.
Lenses defined via an explicit subtyping relationship
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.