Fuuzetsu

Fuuzetsu's Stars

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k662

• haskell-nix/hnix

  A Haskell re-implementation of the Nix expression language

  Language:Nix754115

• facebook/Haxl

  A Haskell library that simplifies access to remote data, such as databases or web-based services.

  Language:Haskell4.3k314

• myuon/Chimera

  Shooting Game with Monads and Lenses

  Language:Haskell111

• conal/lambda-ccc

  Convert lambda expressions to CCC combinators

  Language:Haskell14618

• drillbits/pycure

  All about Japanese battle heroine "Pretty Cure".

  Language:Python151

• igrep/yes-precure5-command

  Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform.

  Language:Haskell261

• hrydgard/ppsspp

  A PSP emulator for Android, Windows, Mac and Linux, written in C++. Want to contribute? Join us on Discord at https://discord.gg/5NJB6dD or just send pull requests / issues. For discussion use the forums at forums.ppsspp.org.

  Language:C++11.1k2.2k

• ValveSoftware/ToGL

  Direct3D to OpenGL abstraction layer

  Language:C++2k186

• discus-lang/ddc

  The Disco Discus Compiler

  Language:Haskell17419

• jaspervdj/profiteur

  Visualiser for Haskell (GHC) prof files

  Language:JavaScript19215

• ahodesuka/ahoviewer

  A GTK image viewer, manga reader, and booru browser

  Language:C++48130

• ajhc/ajhc

  A fork of jhc. And also a Haskell compiler.

  Language:Haskell13428

• fantasyland/fantasy-land

  Specification for interoperability of common algebraic structures in JavaScript

  Language:JavaScript10.1k374

• urs-of-the-backwoods/HGamer3D

  A tool to use Haskell for game programming.

  Language:C++424

• agda/agda-stdlib

  The Agda standard library

  Language:Agda576237

• JPMoresmau/BuildWrapper

  Utility to manage haskell projects for an IDE

  Language:Haskell3612

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k643

• idris-hackers/idris-mode

  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

  Language:Emacs Lisp26870

• clementine-player/Clementine

  :tangerine: Clementine Music Player

  Language:C++3.7k674

• cokmett/cokmett

  Because Kmett is not expressive enough. You need CoKmett!

  352

• slyrz/klingklang

  Music Player

  Language:C3

• nekop/yasnippet-java-mode

  Java snippets for yasnippet

  Language:Emacs Lisp4925

• mpv-player/mpv

  🎥 Command line video player

  Language:C28k2.9k

• resume/resume.github.com

  Resumes generated using the GitHub informations

  Language:JavaScript61.9k1.4k

• orodley/imgprint

  Print BMPs to stdout

  Language:C4

• chrisdone/hell

  Haskell-based shell scripting language

  Language:Haskell52547

• memeruiz/usbtv007

  Userspace test driver for the easycap usbtv007 (utv007) video capture adapters.

  Language:Python386

• Olivia5k/doge

  wow very terminal doge

  Language:Python96889

• Tarrasch/zsh-functional

  Higher order functions for zsh

  Language:Perl13612