Coder Social home page Coder Social logo

hardentoo's Projects

firefly icon firefly

Lightweight, fast and easy 2D game library for Haskell

firejail icon firejail

Linux namespaces and seccomp-bpf sandbox

flappyhaskell icon flappyhaskell

An implementation of Flappy Bird in Haskell using FRP and OpenGL.

flexible-defaults icon flexible-defaults

Template Haskell system for implementing type classes with complex default-implementation rules

flood icon flood

A modern web UI for rTorrent with a Node.js backend and React frontend.

flow icon flow

:droplet: Write more understandable Haskell.

fltkhs icon fltkhs

Haskell bindings to FLTK GUI toolkit.

fltkhs-demos icon fltkhs-demos

Extended FLTKHS demos moved to a separate package to keep the core package free of additional dependencies.

fm-notes icon fm-notes

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

font-logos icon font-logos

An icon font providing popular linux distro's logos

fontforge icon fontforge

Free (libre) font editor for Windows, Mac OS X and GNU+Linux

fontpatcher icon fontpatcher

Script to patch arrow and symbol glyphs into fonts for usage with Powerline and other compatible plugins.

fonts icon fonts

Patched fonts for Powerline users.

fp-course-itmo icon fp-course-itmo

Slides and other materials for functional programming lectures ITMO university

fp-ethereum icon fp-ethereum

Functional Programming for Ethereum: Intro and Resources

fquery icon fquery

Installed package query tool for Gentoo Linux

frabjous icon frabjous

:stars: The frabjous Gentoo overlay focused on crypto, server-side stuffs and some desktop apps

frap icon frap

Formal Reasoning About Programs

frp-guides icon frp-guides

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).

frp-yampa-exercises icon frp-yampa-exercises

Some code written while reading the Arrows, Robots, and Functional Reactive Programming paper

frp-zoo icon frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.