mbenke Goto Github PK
Name: Marcin Benke
Type: User
Location: Warszawa, Poland
Name: Marcin Benke
Type: User
Location: Warszawa, Poland
An attempt to revive Lennart Augustsson's BASIC in Haskell
BNF Converter
Official upstream development repository for Cabal and cabal-install
Fork of diagrams-tikz
Export one or more objects and their related objects. Allows for fine-tuned control over which related objects are exported.
Prezentacja na Dni Otwarte Kampusu Ochota
Golem is creating a global market for computing power.
Get hands-on with Docker through a dozen self-paced and progressive labs.
Try Haskell
Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
Just a repo
Experimental typechecker for a Solidity intermediate language
Homebrew formulae for formal methods
Haskell User Group Warsaw
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
JNP3 grupa Haskell- zadanie Sokoban 1
Scenariusze na laboratoria JPP na wydziale MIM UW.
Materiały na laboratorium MRJP na MIMUW
A parser for Python 2.x and 3.x written in Haskell
Automated tester for MIMUW compilers course (MRJP)
Reimplement Latte subsets using Parsec
Testy to projektu zaliczeniowego z MRJP
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.