useronym Goto Github PK
Name: Adam Krupicka
Type: User
Company: Breach VR
Location: Trondheim, NO
Name: Adam Krupicka
Type: User
Company: Breach VR
Location: Trondheim, NO
The Agda standard library
Haskell demo
Example content for Unity projects based on AR Foundation
A curated list of awesome Erlang libraries, resources and shiny things.
TBD
bar ain't recursive - A lightweight xcb based bar running on a single monitor
Types come to the BEAM. Or BEAM comes around to the type way?
A simple genetic algorithm implemented in Clojure.
A Common Lisp client library for the Advanced Message Queueing Protocol (AMQP)
Introduction to Dependent types, written as an assignment for spring 2016 class of IA038 Types and Proofs
Adaptive radix trees for Erlang.
My bachelor thesis in Erlang.
Various Erlang related benchmarks
Examples of nanomsg IPC between Erlang and some other language.
An IRC bot written in Erlang.
Compact ternary search trees for Erlang.
Erlang vector clock with total ordering. A simple implementation of the VC algorithm with support for dynamically adding/removing actors.
Archiving software developed for the Brno Philharmonic
Functional Programming Brno meetup
A fractal explorer for Android which utilizes the GPU to render the fractals. Uses libGDX and requires OpenGL ES 2.0.
Generic TCP Server for Erlang applications
Entity based records
A library for building re-usable and composable SQL queries.
Houdini stuffs & things
icu nif: international components for unicode from Erlang (unicode, date, string, number, format, locale, localization, transliteration, icu4e)
Indexed functors, monads and comonads that require extensions to Haskell98
Instant neural graphics primitives: lightning fast NeRF and more
Post-processing framework for the Irrlicht rendering engine.
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.