haskie-lambda Goto Github PK
Name: Fabian Schneider
Type: User
Bio: Studies Computer Science and Philosophy; Loves Haskell and theoretical CS
Location: Vienna
Name: Fabian Schneider
Type: User
Bio: Studies Computer Science and Philosophy; Loves Haskell and theoretical CS
Location: Vienna
[advent of code](https://adventofcode.com/) 2020 solutions using only the haskell Prelude and GHC extensions
Analysis of the Interplanetary Magnetic field - Android App, Java
sources for blog posts
Experimental markdown processor in Haskell
Implementation / replication of DALL-E, OpenAI's Text to Image Transformer, in Pytorch
Additional materials provided for the paper "Excel at Programming"
git example
Haskell gRPC support
A hackable, customizable, basic, terminal based IDE for Haskell
Generating isle free maps for a university project along with a proof of the algorithm
Implementation of a simulator for the iterated prisoner dilemma in Haskell
Converter to convert from .lhs to .md and vice versa
playground for GRAKN.ai Haskell API development using mu-haskell
Run unpatched dynamic binaries on NixOS
my personal nixos setup with all configs and stuff
my nix configuration
Nix Packages collection
The Art of the Propagator. See also:
Simple Java Messaging Framework created for a Distributed-Systems-Engineering university project
Tutorial on monad transformers
TypeDB: a strongly-typed database
Grakn Labs Common Libraries and Scripts
Content for the www.yesodweb.com site
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.