| 245 |
@cdepillabout/termonad |
Terminal emulator configurable in Haskell. |
↗️ |
| 233 |
@itchyny/sjsp |
Simple JavaScript Profiler |
↗️ |
| 224 |
@lotz84/haskell |
Haskell 俯瞰まとめ |
↗️ |
| 216 |
@khibino/haskell-relational-record |
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type. |
|
| 204 |
@fujimura/hi |
Generate scaffold for a Haskell project |
|
| 177 |
@kazu-yamamoto/unit-test-example |
Unit test example for Haskell |
|
| 158 |
@cdepillabout/pretty-simple |
pretty-printer for Haskell data types that have a Show instance |
↗️ |
| 146 |
@himura/twitter-conduit |
Twitter API package for Haskell, including enumerator interfaces and Streaming API supports. |
|
| 130 |
@kazu-yamamoto/logger |
A fast logging system for Haskell |
|
| 119 |
@kazu-yamamoto/mighttpd2 |
File/CGI web server on warp |
|
| 118 |
@msakai/toysolver |
My sandbox for experimenting solver algorithms. |
|
| 106 |
@kazu-yamamoto/recursion-drill |
Drill to study recursive programming in Haskell |
|
| 105 |
@rnons/ted2srt |
Download bilingual subtitles of TED talks |
↗️ |
| 93 |
@fumieval/extensible |
Extensible records, variants, structs, effects, tangles |
|
| 90 |
@tanakh/Peggy |
The Parser Generator for Haskell |
↗️ |
| 84 |
@fumieval/deriving-aeson |
Scrap your hand-rolled aeson instances |
↗️ |
| 80 |
@msakai/cpl |
An interpreter of Hagino's Categorical Programming Language (CPL). |
↗️ |
| 78 |
@algas/haskell-servant-cookbook |
Haskell Servant Cookbook |
|
| 74 |
@philopon/apiary |
Simple and type safe web framework that can be automatically generate API documentation. |
|
| 72 |
@fumieval/winery |
Preservative serialisation format |
|
| 67 |
@iand675/haskell-checklist |
Preflight checklist for Haskell code. Aspire to greatness! |
|
| 63 |
@kazu-yamamoto/hhp |
Happy Haskell Programming |
|
| 62 |
@fumieval/free-game |
The free game engine |
↗️ |
| 62 |
@kazu-yamamoto/http2 |
HTTP/2.0 library including HPACK |
|
| 61 |
@fumieval/objective |
Purely functional objects |
|
| 60 |
@guillaume-nargeot/hpc-coveralls |
coveralls.io support for haskell code coverage with hpc |
↗️ |
| 59 |
@cdepillabout/servant-checked-exceptions |
type-level errors for Servant APIs. |
↗️ |
| 58 |
@kazu-yamamoto/dns |
DNS libary in Haskell |
|
| 57 |
@rnons/shadowsocks-haskell |
shadowsocks in haskell |
|
| 56 |
@itchyny/miv |
Vim plugin manager written in Haskell |
|
| 55 |
@mokehehe/monao |
Super monao bros. in Haskell |
|
| 51 |
@maoe/influxdb-haskell |
InfluxDB client library for Haskell |
↗️ |
| 51 |
@myuon/ghc-compiler-notes |
A collection of Notes on GHC |
↗️ |
| 50 |
@fumieval/witherable |
Filter with effects |
↗️ |
| 47 |
@liyang/thyme |
|
|
| 46 |
@aiya000/hs-time-script |
Time script = Vim script + static typing |
|
| 46 |
@fumieval/xml-lens |
Lenses and traversals for xml-conduit |
|
| 46 |
@haskell-jp/makeMistakesToLearnHaskell |
Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門 |
|
| 45 |
@tanakh/optparse-declarative |
Declarative command-line option parser |
|
| 44 |
@codeharuka/dotfiles |
Yune's blahblah urxvt, conky's, etc config files, especially xmonad ❤ lov it |
|
| 44 |
@kazu-yamamoto/llrbtree |
Left-leaning red-black trees |
|
| 44 |
@tanakh/monadius |
2-D arcade scroller |
↗️ |
| 43 |
@kazu-yamamoto/iproute |
IP Routing Table in Haskell |
↗️ |
| 42 |
@konn/equational-reasoning-in-haskell |
Agda-style equational reasoning in Haskell |
|
| 42 |
@maoe/viewprof |
Text-based interactive GHC .prof viewer |
|
| 41 |
@Fuuzetsu/aeson-schema |
Haskell JSON schema validator and parser generator |
|
| 41 |
@lotz84/remote-house |
話したい人々と話しかけられたい人々を繋げるWebアプリ |
|
| 40 |
@kazu-yamamoto/quic |
IETF QUIC library in Haskell |
|
| 39 |
@arowM/heterocephalus |
A type safe template engine for collaborating with front end development tools |
|
| 39 |
@kazu-yamamoto/mighttpd |
A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'. |
↗️ |
| 39 |
@philopon/haddocset |
Generate docset of Dash by Haddock haskell documentation tool |
|
| 38 |
@rnons/lord |
A unified interface to online radios using mpd/mplayer as backend |
↗️ |
| 38 |
@utatti/monkey-hs |
An interpreter for the Monkey programming language written in Haskell |
|
| 37 |
@eliza0x/cotton |
compiler, llvm |
|
| 37 |
@lotz84/double-pendulum-simulation |
二重振り子シミュレーション |
↗️ |
| 36 |
@kazu-yamamoto/cab |
A maintenance command of Haskell cabal packages |
|
| 34 |
@fumieval/mason |
fleet-footed ByteString builder |
|
| 34 |
@iand675/hs-mesos |
Mesos bindings for Haskell |
|
| 34 |
@maoe/tkyprof |
An interactive GHC profiling visualizer |
↗️ |
| 33 |
@CodeHaruka/dotfiles |
|
|
| 32 |
@utatti/line |
Haskell SDK for the LINE APIs |
↗️ |
| 31 |
@cdepillabout/testing-code-that-accesses-db-in-haskell |
5 ways to test code that accesses a DB in Haskell |
↗️ |
| 31 |
@rnons/HadouRex |
douban.fm CLI client in Haskell. You might be interested in https://github.com/rnons/lord |
|
| 30 |
@fumieval/monad-skeleton |
Operational monad library |
|
| 28 |
@konn/type-natural |
Type-level well-kinded natural numbers. |
|
| 28 |
@noraesae/line |
Haskell SDK for the LINE APIs |
↗️ |
| 28 |
@tanakh/process-conduit |
Conduits for Processes |
↗️ |
| 27 |
@cdepillabout/password |
datatypes and functions for easily working with passwords in Haskell |
↗️ |
| 27 |
@iand675/ghcjs-react |
React.js for GHCJS |
|
| 26 |
@cdepillabout/world-peace |
open union and open product types in Haskell |
↗️ |
| 26 |
@guillaume-nargeot/codecov-haskell |
codecov.io support for haskell code coverage with hpc |
↗️ |
| 26 |
@itchyny/qhs |
SQL queries on CSV and TSV files |
|
| 26 |
@liyang/fast-math |
Play fast and loose with IEEE-754 rewrite RULES |
|
| 26 |
@syucream/hastodon |
mastodon client module for Haskell |
|
| 26 |
@tanakh/hoe |
Haskell One-liner Evaluator |
↗️ |
| 25 |
@aiya000/nico-lang |
Nico-lang is the programing language of Nico Yazawa |
|
| 25 |
@taiki45/hs-vm |
Simple Virtual Machine written in Haskell |
|
| 24 |
@igrep/yes-precure5-command |
Extended yes command to reproduce the phrases when the Japanese battle heroine PreCure transform. |
|
| 24 |
@shnarazk/mios |
A SAT solver written in Haskell. |
↗️ |
| 24 |
@tanakh/ICFP2011 |
ICFP Programming Contest 2011 repository |
|
| 23 |
@lotz84/FlappyHaskell |
An implementation of Flappy Bird in Haskell using FRP and OpenGL. |
|
| 23 |
@maoe/lifted-async |
Run lifted IO operations asynchronously and wait for their results |
↗️ |
| 22 |
@fujimura/spot |
spot |
|
| 22 |
@kgtkr/cl8w |
|
|
| 21 |
@adetokunbo/haskell-overridez |
Simplify usage of nix dependencies during haskell development |
|
| 21 |
@himura/persistent-relational-record |
Persistent adapter for Haskell Relational Record |
↗️ |
| 21 |
@himura/twitter-types |
This library treats the Twitter JSON API in the Haskell way. |
|
| 21 |
@tanakh/hsmecab |
A Haskell binding to MeCab |
↗️ |
| 20 |
@juhp/cabal-rpm |
Haskell Cabal RPM packaging tool |
↗️ |
| 19 |
@YoshikuniJujo/lojban_parser |
lojban parser |
|
| 19 |
@depressed-pho/HsOpenSSL |
OpenSSL binding for Haskell |
↗️ |
| 19 |
@fumieval/Monaris |
A simple tetris clone |
|
| 19 |
@iand675/hs-brotli |
|
|
| 18 |
@dpwright/HaskellNet-SSL |
Helpers to connect to SSL/TLS mail servers with HaskellNet |
|
| 18 |
@fujimura/houseman |
A Haskell implementation of Foreman |
|
| 18 |
@iand675/metrics |
Haskell metrics library |
|
| 17 |
@fumieval/boombox |
Seekable sources and efficient incremental sinks |
↗️ |
| 17 |
@kazu-yamamoto/wai-app-file-cgi |
File/CGI App of WAI |
|
| 17 |
@matsubara0507/git-plantation |
mixi git challenge の新しい採点システム |
|
| 17 |
@phonohawk/HsOpenSSL |
OpenSSL binding for Haskell |
↗️ |
| 17 |
@tokiwoousaka/takahashi |
高橋Monad |
|
| 16 |
@fujimura/wai-hspec-example |
Example for wai + hspec |
|
| 16 |
@himura/lens-regex |
Lens powered regular expression |
|
| 16 |
@hiratara/Haskell-Nyumon-Sample |
技術評論社の書籍「Haskell入門」のサンプルコードリポジトリ |
↗️ |
| 16 |
@nakaji-dayo/yesod-job-queue |
Background job queue library for Yesod. |
|
| 16 |
@rnons/jinkell |
When Jing.fm meets Haskell. You might be interested in https://github.com/rnons/lord |
|
| 16 |
@tanakh/cless |
Print file contents with syntax highlighting |
|
| 16 |
@tanakh/html2hamlet |
HTML to Hamlet converter |
|
| 15 |
@dfordivam/reflex-websocket-interface |
A simple to use interface for websocket using reflex-frp |
|
| 15 |
@noraesae/monkey-hs |
An interpreter for the Monkey programming language written in Haskell |
|
| 14 |
@dpwright/z80 |
A Z80 assembler embedded in Haskell |
|
| 14 |
@fumieval/drinkery |
Boozy streaming library |
|
| 14 |
@fumieval/rhythm-game-tutorial |
Create a rhythm game with Haskell! |
|
| 14 |
@kazu-yamamoto/c10k |
Network server library to handle over 10,000 connections in Haskell |
↗️ |
| 14 |
@lotz84/cli-rss-reader |
Vtyを使って作る簡単なRSSリーダー |
|
| 14 |
@ncaq/dic-nico-intersection-pixiv |
ニコニコ大百科とピクシブ百科事典の共通部分の辞書 |
↗️ |
| 14 |
@seizans/yesod-tutorial |
Webアプリケーションフレームワーク Yesod 1.1 で開発するためのチュートリアル. |
|
| 13 |
@Fuuzetsu/ghc-prof-aeson-flamegraph |
Turn GHC -pj profiling output into FlameGraph format. |
|
| 13 |
@aiya000/hs-kemono-friends |
あなたはプログラミング言語フレンズなんだね！（Haskell） |
|
| 13 |
@fumieval/MonadicShooter |
High-level "danmaku" expressions |
|
| 13 |
@lotz84/bitcoin-spv-wallet |
|
|
| 13 |
@lotz84/recursion-algorithms |
a collection of various algorithms written using recursion schemes |
↗️ |
| 13 |
@philopon/helics |
New Relic® agent SDK wrapper for Haskell |
|
| 13 |
@snowmantw/Frag |
Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz . |
|
| 12 |
@YoshikuniJujo/lojysamban |
Prolog like language using lojban |
|
| 12 |
@aimyskk/competitive-haskell |
Snippets for competitive programming in Haskell |
|
| 12 |
@fumieval/liszt |
Publish & Subscribe |
|
| 12 |
@iand675/datadog |
Haskell DataDog client library |
|
| 12 |
@igrep/typesafe-precure |
Type-safe transformations and purifications of PreCures (Japanese battle heroine) |
↗️ |
| 12 |
@kazu-yamamoto/simple-sendfile |
Cross platform library for the sendfile system call |
|
| 12 |
@kazu-yamamoto/witty |
A web server to show bottlenecks of GHC |
|
| 12 |
@tanakh/HongoDB |
A Simple Key Value Store |
|
| 12 |
@tanakh/aeson-lens |
Lens of Aeson |
|
| 12 |
@tanakh/pandoc-html5slide |
Google HTML5 Slide generator |
|
| 11 |
@aiya000/algebra-with-nico-code |
「にこ先輩といっしょに代数！」で使ったコードの実行可能な全文（stack runghc） |
|
| 11 |
@dpwright/jsonresume.hs |
Haskell parser and datatypes for the JSON Resume format |
|
| 11 |
@expede/rescue |
🚒 Rescue: better errors through types (a more type directed MonadThrow/MonadCatch) |
|
| 11 |
@fumieval/mtl-c |
Monad transformers in CPS |
|
| 11 |
@guillaume-nargeot/project-euler-haskell |
My Haskell solutions to Project Euler problems |
|
| 11 |
@hiratara/TypedPerl |
A subset of perl language based on typed lambda calculus. |
|
| 11 |
@kazu-yamamoto/monad |
A book on Monad of Haskell in Japanese |
|
| 11 |
@liyang/vector-th-unbox |
Deriver for unboxed vectors using Template Haskell |
|
| 11 |
@lotz84/ac2015-servant-example |
Servant Example for Haskell Advent Calendar 2015 |
↗️ |
| 11 |
@myuon/Chimera |
Shooting Game with Monads and Lenses |
|
| 11 |
@tanakh/CurryDB |
CurryDB: Simple, Polymorphic, Persistent, Transactional, In-memory Key/Value Database |
|
| 10 |
@Fuuzetsu/acme-cutegirl |
A package which exists solely to try and give the user a cute girl. Executable and library are both available. |
|
| 10 |
@cdepillabout/servant-static-th |
Embed a directory of static files in your application and serve them from your Servant server |
↗️ |
| 10 |
@cosmo0920/Ahblog |
A simple Blog engine powered by Haskell language, Yesod and Bootstrap 3. |
|
| 10 |
@depressed-pho/bitstream |
Fast, packed, strict and lazy bit streams for Haskell with stream fusion |
|
| 10 |
@fujimura/git-freq |
A Git subcommand to detect frequently changed code in the repository |
|
| 10 |
@fumieval/Lazy-SLYR |
Pure functional programming language |
|
| 10 |
@kazu-yamamoto/appar |
A simple applicative parser in Parsec style |
|
| 10 |
@konn/Yablog |
Yet another Blog engine written in Haskell powered by yesod. |
|
| 10 |
@liyang/google-mail-filters |
Write GMail filters and output to importable XML |
|
| 10 |
@maoe/text-keepalived |
Text.Keepalived: A parser library for keepalived.conf |
|
| 10 |
@neutronest/vortex |
a Haskell implementation of Deep Learning frameworks. |
|
| 10 |
@nineties/Choco |
MinCaml Compiler implementation by Haskell |
|
| 10 |
@nwtgck/platy-lang-haskell |
Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language |
|
| 10 |
@philopon/apiary-benchmark |
benchmark result of haskell lightweight web frameworks |
|
| 9 |
@Fuuzetsu/yi-haskell-utils |
Utility functions for working with Haskell in Yi. Avoids clutter in the core. |
|
| 9 |
@YoshikuniJujo/papillon |
simple peg parser generater for Haskell |
|
| 9 |
@aimyskk/lib-competitive-haskell |
A library for competitive programming in Haskell |
|
| 9 |
@fumieval/Haswerk |
3D action game playground |
|
| 9 |
@fumieval/discord-vc-notification |
Post a message when someone joins a voice channel |
|
| 9 |
@fumieval/webauthn |
Haskell implementation of the server-side verifier for Web Authentication API |
|
| 9 |
@konn/pandoc-japanese-filters |
Pandoc filters to treat Japanese-specific markups |
|
| 9 |
@konn/sized |
Sized sequence data-types |
|
| 9 |
@matsubara0507/yaml-to-dhall |
Roughly implement CLI tool to convert YAML to Dhall |
|
| 9 |
@motemen/jusk |
Haskell implemented JavaScript interpreter |
|
| 9 |
@msakai/data-interval |
Interval datatype, interval arithmetic, and interval-based containers for Haskell |
|
| 9 |
@ryota-ka/markov-bot |
Generates random sentences from your tweet history using the Markov chain, and post them into Twitter. |
↗️ |
| 9 |
@seizans/happiage |
project to develop web application for wedding after-party by Haskell |
|
| 9 |
@taiki45/sugoi-haskell-learning |
http://sugoihaskell.github.io/ |
|
| 9 |
@tom-lpsd/tokyocabinet-haskell |
Haskell bindings to tokyocabinet |
|
| 8 |
@Tosainu/pwn.hs |
[WIP] Exploit development library for Haskeller |
|
| 8 |
@YoshikuniJujo/haskell-nyumon-handson |
Haskell入門ハンズオンのサンプルコードなど |
|
| 8 |
@aiya000/hs-bokuhane-mouongakunantedoudemoyokute |
僕はね、もう音楽なんかどうでも良くて、君のことが好きなんやけど、でも、あの、その、だから楽器を握るんじゃなくて、君の手を握りたいけど、だけれども、僕はもう、こうやって音楽を奏でて、君に言葉を伝えるその術しか持ってないから僕は君のために、歌うもぼ僕のために歌いたいんです！ |
|
| 8 |
@arowM/haskell-bookkeeping |
A Haskell module for bookkeeping by double entry. |
|
| 8 |
@asi1024/WXCS |
Wonderful eXciting Contest System (honmaka) |
|
| 8 |
@cdepillabout/print-console-colors |
Print all the ANSI console colors for your terminal |
↗️ |
| 8 |
@cdepillabout/servant-on-heroku |
Example app showing how to release a Haskell web app on Heroku |
↗️ |
| 8 |
@cdepillabout/servant-rawm |
Effectful Raw handler for Servant servers. |
↗️ |
| 8 |
@cutsea110/Kestrel |
Kestrel is a WIKI clone written in Haskell |
|
| 8 |
@cutsea110/metadata |
metadata library |
|
| 8 |
@fumieval/barbies-th |
Easy declaration of strippable HKD |
↗️ |
| 8 |
@fumieval/holz |
(Un)abstract graphics library |
|
| 8 |
@fumieval/minioperational |
|
|
| 8 |
@haskell-jp/playground |
遊び場 |
|
| 8 |
@iand675/growler |
A small Sinatra-esque web framework for Haskell |
|
| 8 |
@jneen/ixl-prototype |
A prototype of the ixl language. |
|
| 8 |
@junjihashimoto/yesod-raml |
Generate Yesod framework route definitions, documentaiton, mock-handler, and more from your RAML spec. |
|
| 8 |
@kazu-yamamoto/concurrent-dns-cache |
Concurrent DNS cache in Haskell |
|
| 8 |
@kazu-yamamoto/http-date |
Fast parser and formatter for HTTP Date |
|
| 8 |
@kazu-yamamoto/http3 |
HTTP/3 library in Haskell |
|
| 8 |
@liyang/true-name |
Template Haskell hack to violate another module's abstractions |
|
| 8 |
@msakai/ptq |
An implementation of Montague's PTQ (Proper Treatment of Quantification). |
↗️ |
| 8 |
@philopon/barrier |
Shield.io style badge generator |
|
| 8 |
@ryota-ka/duration |
A tiny compile-time time utility library, inspired by zeit/ms. |
↗️ |
| 8 |
@tanakh/generic-pretty |
Pretty Printing for Generic data |
↗️ |
| 7 |
@YoshikuniJujo/zot_haskell |
|
|
| 7 |
@aiya000/hs-character-cases |
A Haskell library for subspecies types of Char, and naming cases. |
↗️ |
| 7 |
@akawashiro/hml |
ML language compiler |
|
| 7 |
@amutake/haskelltter |
Twitter client on GHCi (inspired by ocamltter) |
|
| 7 |
@cdepillabout/yahoo-finance-api |
Haskell wrapper for Yahoo Finance API |
↗️ |
| 7 |
@coord-e/faber |
functional programming language and its compiler |
|
| 7 |
@fumieval/LazyZ |
|
|
| 7 |
@fumieval/call |
Not an insufficient game engine |
|
| 7 |
@gogotanaka/Ringo |
Beat oriented programing langugae |
|
| 7 |
@halogenandtoast/nhk-reader-haskell |
Haskell implementation of my NHK Reader |
↗️ |
| 7 |
@haskell-jp/slack-log |
Logs of https://haskell-jp.slack.com (and programs to save and view them) |
|
| 7 |
@himura/neco |
NECO - A Tiny HTTP Client |
|
| 7 |
@iand675/Zoom |
A Rake/Thor-like task runner for Haskell |
|
| 7 |
@iand675/pipes-wai |
A port of wai-conduit for the pipes ecosystem |
|
| 7 |
@juhp/hkgr |
Hackager tool for releasing Haskell packages to Hackage |
↗️ |
| 7 |
@juhp/stackage-query |
Tool to query Haskell Stackage packages |
|
| 7 |
@junjihashimoto/pocket-dns |
PocketDNS: Multi-backend (zookeeper and sqlite) DNS Server using persistent-library |
|
| 7 |
@kazu-yamamoto/bst |
Binary search tree based on a logarithmic method |
|
| 7 |
@kazu-yamamoto/hash-tree |
Merkle Hash Tree in Haskell |
|
| 7 |
@kazu-yamamoto/io-choice |
Choice for IO and lifted IO |
|
| 7 |
@khibino/haskell-time-locale-compat |
Compatibility of TimeLocale between old-locale and time-1.5 |
|
| 7 |
@kino3/Mini-TT |
mirror of A simple type-theoretic language: Mini-TT |
|
| 7 |
@konn/hskk |
SKK implemented in Haskell |
|
| 7 |
@konn/lk-proof-assistant |
Simple Proof assistant for LK Calculus (First-Order logic) |
|
| 7 |
@konn/newtype-talk-five |
Haskell's newtype functionality and DerivingVia explained (Japanese talk at FIVE) |
|
| 7 |
@konn/sake |
Sake is a static-site generator built on top of the Shake build system. |
|
| 7 |
@konn/sized-vector |
DEPRECATED: use sized package instead |
↗️ |
| 7 |
@lotz84/deep-learning-from-scratch |
|
|
| 7 |
@lotz84/frp-snake-game |
Playground of implementing snake game using FRP libraries. |
|
| 7 |
@maoe/ghc-prof |
Library for parsing GHC time and allocation profiling reports |
|
| 7 |
@maoe/htmlcat |
A Haskell clone of http://subtech.g.hatena.ne.jp/motemen/20120120/1326987165 |
↗️ |
| 7 |
@matsubara0507/extensible-instances |
instances of extensible data type for any type class |
|
| 7 |
@matsubara0507/servant-kotlin |
Automatically derive Kotlin functions to query servant webservices |
|
| 7 |
@msakai/nonlinear-optimization-ad |
Wrapper of nonlinear-optimization package for using with ad and backprop packages |
|
| 7 |
@myuon/minilight |
A SDL2-based graphics library, batteries included. |
↗️ |
| 7 |
@nakaji-dayo/gremlin-haskell |
Haskell graph database client for TinkerPop3 Gremlin Server |
|
| 7 |
@nonowarn/has |
Entity based records |
↗️ |
| 7 |
@philopon/sandbox-move |
move cabal sandbox directory |
|
| 7 |
@ryota-ka/domain-logic-on-eff |
extensible effects でやっていくドメインロジック記述 @ Gotanda.hs #1 |
↗️ |
| 7 |
@stmtk1/convert_brainfuck |
convert from brainfuck to C++, Java or C# |
|
| 7 |
@tokiwoousaka/CatCat |
プログラミング言語CatCat |
|
| 7 |
@tokiwoousaka/reasonable-lens |
Just size lens implementation. |
|
| 7 |
@tyage/tiny-c |
計算機科学実験及演習3B |
|
| 6 |
@0918nobita/InVerse |
InVerse is a new programming language in which you can write source code upside-down. |
|
| 6 |
@Fuuzetsu/h-booru |
Haskell library for retrieving data from various booru image sites |
|
| 6 |
@YoshikuniJujo/peyotls |
Pretty Easy YOshikuni-made TLS library |
|
| 6 |
@YoshikuniJujo/test_haskell |
haskell's tribial test code |
|
| 6 |
@aiya000/eta-doromochi |
An Eta experience |
|
| 6 |
@aiya000/hs-throwable-exceptions |
Give the exception's value constructors for your haskell project |
|
| 6 |
@aiya000/hs-zuramaru |
Lisp方言ずら〜。え！？ これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？ |
|
| 6 |
@asayers/attendancebot |
A slack bot for recording attendance |
|
| 6 |
@cdepillabout/cps-vs-codensity-vs-reflection-without-remorse |
Example code showing the difference between CPS, codensity, and reflection without remorse styles in Haskell |
|
| 6 |
@haskell-jp/antenna |
|
↗️ |
| 6 |
@haskell-jp/atcoder-haskell-resources |
AtCoder 2019/7 Language Update |
↗️ |
| 6 |
@itchyny/vim-haskell-sort-import |
Sort import statements in Haskell codes |
|
| 6 |
@junjihashimoto/hspec-server |
Test Framework like ServerSpec for Haskell |
|
| 6 |
@kakkun61/pixela-client-haskell |
|
|
| 6 |
@kazu-yamamoto/domain-auth |
Domain authentication library in Haskell |
|
| 6 |
@kazu-yamamoto/git-object |
Git object and its parser |
|
| 6 |
@kazu-yamamoto/piki |
Yet another Wiki format converter |
↗️ |
| 6 |
@kazu-yamamoto/test-framework-th-prime |
Template Haskell for test framework |
|
| 6 |
@kazu-yamamoto/webserver |
A simple but practical library of HTTP server in Haskell |
↗️ |
| 6 |
@khibino/haskell-invertible-syntax-poly |
Extends invertible-syntax library capable to use parameterized token type. |
|
| 6 |
@konn/AttoJSON |
ByteString based lightweight JSON Parser |
|
| 6 |
@konn/FRP2048 |
Demo of GHCJS, Sodium and extensible-effects (a clone of 2048) |
|
| 6 |
@konn/ghc-typelits-symbols |
Additional operations for GHC's type-level symbols |
|
| 6 |
@konn/hagi |
HaGi - Haskell Grass Interpreter |
↗️ |
| 6 |
@konn/safe-printf |
Well-typed, flexible and variadic printf in Haskell. |
|
| 6 |
@lotz84/SnakeGameHaskell |
a snake game written in Haskell |
|
| 6 |
@master-q/carettah |
Carettah := Make your presentation more fun! |
|
| 6 |
@matsubara0507/rakuten |
The Rakuten API for Haskell |
|
| 6 |
@myuon/haskell-minesweeper |
企画のやつ |
|
| 6 |
@myuon/refluxive |
flux-like graphics engine based on sdl2 |
|
| 6 |
@nwtgck/tableau-solver-haskell |
Tableau method solver in Haskell |
|
| 6 |
@qtamaki/stdhaskell-samples |
original code http://i.loveruby.net/ja/stdhaskell/ |
|
| 6 |
@taiki45/hs-lisp |
yet-another Lisp Interpreter written in Haskell |
|
| 6 |
@tanakh/haskell-night |
the presentation file of haskell night (http://hop.timedia.co.jp/) |
↗️ |
| 6 |
@tanakh/hinatra |
Sinatra in Haskell |
↗️ |
| 6 |
@tanakh/pi |
calculate pi |
|
| 5 |
@Fuuzetsu/tsuntsun |
Interacts with tesseract to ease reading of RAW Japanese manga. |
|
| 5 |
@Fuuzetsu/yi-agda |
Agda mode for Yi |
|
| 5 |
@HirotoShioi/utxo-based-transaction |
This is an assignment using monad transformers |
↗️ |
| 5 |
@VoQn/cacco |
(A programming language) |
|
| 5 |
@VoQn/tapl-hs |
TaPL Language Implement by Haskell |
|
| 5 |
@YoshikuniJujo/shinjukuhs |
Shinjuku.hs |
|
| 5 |
@aimyskk/lib-competitive |
A library for competitive programming in Haskell |
|
| 5 |
@amutake/github-post-receive |
A library to construct github post-receive servers. |
↗️ |
| 5 |
@arowM/haskell-ochintin-daicho |
A module to manage payroll books for Japanese companies. |
|
| 5 |
@arowM/haskell-transaction |
Monadic representation of transactions. |
|
| 5 |
@cdepillabout/heterocephalus-example |
simple explanation on how to use -ddump-splices with stack |
↗️ |
| 5 |
@cdepillabout/xml-html-qq |
QuasiQuoter for XML and HTML Documents |
↗️ |
| 5 |
@coord-e/ad-hoc-poly |
Implementation of type classes |
|
| 5 |
@cutsea110/servant-csharp |
Generate servant client library for C# |
|
| 5 |
@fumieval/diffs |
Fast diff algorithm |
|
| 5 |
@fumieval/incremental |
|
|
| 5 |
@fumieval/jugendstil |
New Style GUI Library |
|
| 5 |
@himura/rio |
Remote IO - A Tiny HTTP Client |
|
| 5 |
@itchyny/mackerel-client-hs |
Mackerel API client in Haskell |
↗️ |
| 5 |
@joker1007/markdown2hatena |
markdown記法をはてな記法に変換する |
|
| 5 |
@junjihashimoto/th-cas |
Compile time CAS(Computer Algebra System) for Haskell |
|
| 5 |
@kazu-yamamoto/SKI |
Emulator of the SKI combinator system |
|
| 5 |
@kazu-yamamoto/easy-file |
Cross-platform File handling for Unix/Mac/Windows |
|
| 5 |
@kazu-yamamoto/hs-sympo-2012 |
Our paper to Haskell Symposium 2012 |
|
| 5 |
@kazu-yamamoto/network-byte-order |
peek and poke for network packets |
|
| 5 |
@kazu-yamamoto/parsec3 |
Haskell parsec3 library |
|
| 5 |
@kazu-yamamoto/rpf |
Receiver's Policy Framework |
↗️ |
| 5 |
@kei-os/vparsec |
Verilog Parser with Haskell Parsec library |
|
| 5 |
@khibino/haskell-debian-build |
Debian package build sequence tools |
|
| 5 |
@khibino/logic-examples |
small examples of proof object programming |
|
| 5 |
@kirisaki/caster |
Multicast, thread-safe and fast logger. |
↗️ |
| 5 |
@konn/HoTwitter |
Simple Twitter client Written In HOC (Haskell Objective-C binding) |
|
| 5 |
@konn/fay-automaton-demo |
Automaton Demo written with fay. |
|
| 5 |
@konn/ghc-typelits-presburger |
Presburger arithmetic solver for built-in type-level naturals |
|
| 5 |
@konn/subcategories |
Functors on subcategories induced by class constraints |
|
| 5 |
@lotz84/chainFlyer |
Bindings to chainFlyer's API. |
↗️ |
| 5 |
@lotz84/haskell-life-game |
Life game implemented by Haskell with gloss. |
|
| 5 |
@magicant/flesh |
POSIX shell emulation library under construction |
|
| 5 |
@maoe/fluxflex-haskellinfo |
Yesod app on fluxflex |
↗️ |
| 5 |
@maoe/fluxflex-yesod |
|
↗️ |
| 5 |
@maoe/ghc-trace-events |
ByteString/Text variants of Debug.Trace.traceEvent/traceMarker and binary event logging |
↗️ |
| 5 |
@masashi-y/dynet.hs |
Haskell binding for DyNet |
|
| 5 |
@masatoko/kurokos |
Simple game framework on SDL2 by Haskell (WIP) |
|
| 5 |
@mnacamura/learning-hmm |
Yet another Haskell library for hidden Markov models |
|
| 5 |
@morishin/poem-generator |
Generate poem from source text |
↗️ |
| 5 |
@myuon/di-example-store-app |
An example application using DI in Haskell |
|
| 5 |
@myuon/quartz |
Quartz is an interpreted, statically typed programming language with Haskell backend |
|
| 5 |
@pasberth/binal1 |
|
|
| 5 |
@philopon/bytestring-read |
fast ByteString to number converting library |
|
| 5 |
@phonohawk/bitstream |
Fast, packed, strict and lazy bit streams for Haskell with stream fusion |
|
| 5 |
@tanakh/ezoe |
ezoe command |
|
| 5 |
@tokiwoousaka/ttask |
This is task management tool for yourself, that inspired by scrum. |
|
| 5 |
@ykst/llint |
Lua-5.x static analyzer |
|
| 4 |
@Jxck/yesod-tutorial |
http://yannesposito.com/Scratch/en/blog/Yesod-tutorial-for-newbies/ |
|
| 4 |
@VoQn/ylang |
Programming Language (Scheme like, but it is NOT "Lisp family") |
|
| 4 |
@YoshikuniJujo/markdown2svg |
markdown to svg files |
|
| 4 |
@YoshikuniJujo/simple-pipe |
simple pipeline library like conduit |
|
| 4 |
@YoshikuniJujo/xturtle_haskell |
turtle like LOGO in haskell |
|
| 4 |
@YoshikuniJujo/yjsvg_haskell |
make svg file from Haskell data |
|
| 4 |
@aiya000/haskell-examples |
Example codes for Haskell libraries |
|
| 4 |
@aiya000/hs-brainhack |
The brainf*ck language maker library |
|
| 4 |
@aiya000/hs-gorira |
He is Twitter bot that made by Haskell. |
↗️ |
| 4 |
@aiya000/hs-soumu-code-normalizer |
総務省が提供する全国地方公共団体コードのxlsからjsonに変換する。 |
|
| 4 |
@alpicola/scheme-in-48-hours |
|
|
| 4 |
@amutake/haskell-relational-record-driver-oracle |
[Obsolete] Oracle driver for haskell-relational-record |
|
| 4 |
@arowM/haskell-bookkeeping-jp |
Helper functions of Haskell bookkeeping module for Japanese bookkeeping. |
|
| 4 |
@arowM/haskell-bookkeeping-jp-sample |
A sample program for bookkeeping-jp. |
|
| 4 |
@arowM/haskell-google-server-api |
Google APIs for server to server applications |
↗️ |
| 4 |
@asayers/kafkalite |
Read-only support for the Kafka on-disk format, no broker required! |
↗️ |
| 4 |
@cdepillabout/highlight |
command line tool for highlighting parts of files that match a regex |
↗️ |
| 4 |
@cookpad/mirin |
Redirection Service |
|
| 4 |
@dpwright/igo |
Rules and utilities relating to the game of go in Haskell |
|
| 4 |
@dpwright/zxspectrum |
Utilities for writing software targeting the ZX Spectrum in Haskell |
|
| 4 |
@fumieval/import-bikeshedder |
|
|
| 4 |
@fumieval/indexed-free |
|
|
| 4 |
@iand675/algolia |
|
|
| 4 |
@iand675/hs-flowdock |
Flowdock API bindings for Haskell |
|
| 4 |
@kazu-yamamoto/logreplay |
A stress tool for web servers |
|
| 4 |
@kazu-yamamoto/network-run |
Simple network runner library in Haskell |
|
| 4 |
@kazu-yamamoto/word8 |
Word8 library |
|
| 4 |
@khibino/haskell-quickcheck-simple |
Test properties and default-mains for QuickCheck |
|
| 4 |
@khibino/haskell-tiny-intro |
|
|
| 4 |
@konn/Meta-Programming-in-Haskell-Example |
Examples for Meta Programming in Haskell |
|
| 4 |
@konn/ghc-pkg-autofix |
Simple utility to fix broken package dependencies in ghc. |
↗️ |
| 4 |
@konn/graph-utils |
A simple wrapper for Data.Graph.Inductive. |
↗️ |
| 4 |
@konn/monomorphic |
Type-class for the polymorphic data-types (e.g. dependently-typed datatypes defined by GADTs) which can be converted to/from monomorphic represetation |
|
| 4 |
@konn/oauth-test |
experiments for oauth support for yesod-auth |
|
| 4 |
@liyang/assert |
Helpers for Control.Exception.assert |
|
| 4 |
@lotz84/ascii-horizontal-barchart |
Ascii horizontal bar chart |
|
| 4 |
@maoe/kc |
A syntax checker for keepalived.conf |
|
| 4 |
@maoe/lzma |
XZ compression/decompression in Haskell |
|
| 4 |
@maoe/shiritori |
Haskellゴング発表資料 |
|
| 4 |
@matsubara0507/mix.hs |
building rio package configuration using cont monad with extensible |
|
| 4 |
@msakai/finite-field |
|
|
| 4 |
@myuon/bwitterkuchen |
CUI Twitter Client |
|
| 4 |
@ncaq/yesod-form-bootstrap4 |
yesod-form for bootstrap version 4 |
|
| 4 |
@pasberth/Macra |
Macro Oriented Language |
|
| 4 |
@philopon/find-hackage |
advanced hackage search |
↗️ |
| 4 |
@richardjharris/haskell |
Learning Haskell, one script at a time. |
|
| 4 |
@syoyo/mudalang |
MUDA(MUltiple Data Accelerator) language |
|
| 4 |
@takagi/blog-codes |
example codes of SPH simulation explained in my blog |
↗️ |
| 4 |
@tanakh/ICFP2012 |
|
|
| 4 |
@tanakh/generic-storable |
Generic Implementation of Storable |
|
| 4 |
@tanakh/hkvs |
Key Value Store written in Haskell |
↗️ |
| 4 |
@tanakh/hsmsgpack |
A Haskell binding to MessagePack |
↗️ |
| 4 |
@tokiwoousaka/Sarasvati |
Sarasvati is an audio library with portaudio. |
|
| 4 |
@unhappychoice/bitmex-cli |
🚧 WIP 🚧 |
|
| 4 |
@unhappychoice/bitmex-servant |
Generated API definition by https://www.bitmex.com/api/explorer/swagger.json |
|
| 4 |
@yu-i9/Hegex |
Regular expression written in Haskell. Technology of low-layer will be implemented, too. |
|
| 3 |
@Fuuzetsu/shakugan-no-haskell |
A Shakugan no Shana fangame. |
|
| 3 |
@Fuuzetsu/yi-monokai |
Monokai colour scheme for the Yi editor, at least for the Pango back-end. |
|
| 3 |
@Fuuzetsu/yukari |
Software to allow fetching torrents from AnimeBytes with a terminal, including user preferences. |
|
| 3 |
@HirotoShioi/knowledge-base-server |
This is Haskell application which parses the markdown files and make it available as an Rest API using servant |
|
| 3 |
@MihailJP/HSPLZMA |
LZMA wrapper DLL for Hot Soup Processor |
|
| 3 |
@YoshikuniJujo/binary-file |
read and write binary file use quasi quotation |
|
| 3 |
@YoshikuniJujo/funpaala |
sample code for "Functional Programming As A Liberal Arts" |
|
| 3 |
@YoshikuniJujo/tighttp |
Tiny and Incrementally-Growing HTTP library |
|
| 3 |
@aiya000/hs-algebra |
Test algebra type class by QuickCheck. |
|
| 3 |
@aiya000/learning-Haskell |
My Learning for Haskell |
|
| 3 |
@aiya000/yi-config |
my yi config |
|
| 3 |
@asi1024/icpc-jdcs |
|
|
| 3 |
@boj/garbage |
|
|
| 3 |
@cdepillabout/emailaddress |
Wrapper around email-validate adding new non-orphaned instances to EmailAddress |
↗️ |
| 3 |
@cdepillabout/envelope |
Envelope type used to return responses from a JSON API for Haskell |
↗️ |
| 3 |
@cdepillabout/read-env-var |
Haskell library for safely reading environment variables |
↗️ |
| 3 |
@cosmo0920/Haskell-OpenCL |
Parallel.OpenCLを使ってみた |
|
| 3 |
@cosmo0920/hrr-stack-template |
A template project for HRR with stack. |
|
| 3 |
@cranebird/secdhs |
SECD Machine in Haskell |
|
| 3 |
@cutsea110/heredoc |
heredocument library |
|
| 3 |
@cutsea110/stable-marriage |
library around stable marriage algorithms |
|
| 3 |
@cutsea110/thumbnail |
generate thumbnail image |
↗️ |
| 3 |
@cutsea110/tut |
yesod tutorial |
↗️ |
| 3 |
@dfordivam/htmltoreflexdom |
Convert HTML to Reflex-DOM |
↗️ |
| 3 |
@dpwright/lambdaman |
Simple game written using my ZX Spectrum development tools for Haskell |
|
| 3 |
@eliza0x/Mikan |
script language |
|
| 3 |
@eliza0x/hakyll-shakespeare |
🍄 Hakyll shakespearen template compiler |
|
| 3 |
@eliza0x/tmpla |
tempolary language |
|
| 3 |
@emonkak/skype-rest-api-server |
Can access Skype Desktop API using REST API |
|
| 3 |
@emonkak/skype4hs |
Skype Desktop API Binding for Haskell |
|
| 3 |
@fujimura/facebook-oauth2-example |
Facebook OAuth2 Example in Haskell |
|
| 3 |
@fujimura/hs-git-gsub |
A Git subcommand to do gsub in a repository |
|
| 3 |
@fumieval/JuicyPixels-util |
|
|
| 3 |
@fumieval/Zephyr |
|
|
| 3 |
@fumieval/artery |
|
|
| 3 |
@fumieval/cbor-tool |
|
|
| 3 |
@fumieval/colors |
Types for colors |
|
| 3 |
@fumieval/combinator-interactive |
|
|
| 3 |
@fumieval/control-bool |
|
|
| 3 |
@fumieval/coroutine |
Delimited continuation sandbox |
↗️ |
| 3 |
@fumieval/dsp-artery |
|
|
| 3 |
@fumieval/elevator |
Elevator for effects |
↗️ |
| 3 |
@fumieval/extensible-forms |
|
|
| 3 |
@fumieval/jatko |
|
|
| 3 |
@fumieval/membership |
Type level membership |
|
| 3 |
@great-h/auto_participant |
すごい広島の参加者リストを作成するプログラム |
|
| 3 |
@halogenandtoast/mirin |
A tiny redirection server in Spock backed by MySQL. |
|
| 3 |
@haskell-jp/haskell-jp-blog-artifact |
|
|
| 3 |
@hiratara/lambdabot-hipchat-plugins |
A plugin to connect lambdabot to HipChat |
|
| 3 |
@iand675/GitMega |
Common operations against lots of repos at once |
|
| 3 |
@iand675/serf |
Haskell library to interact with Serf |
|
| 3 |
@ikaro1192/brainfuck |
Haskellの練習で作ったbrainf*ck実装 |
|
| 3 |
@inct-www-club/Procon2014 |
茨城高専World Wide Web部 第２５回全国高専プログラミングコンテスト競技部門「記憶のカケラII」 |
↗️ |
| 3 |
@jneen/cube |
A Rubik's Cube emulator in Haskell, for testing solving algorithms and such. |
|
| 3 |
@juhp/xmonad-desktop |
xmonad desktop environment friendly wrapper |
|
| 3 |
@kakkun61/yesod-relational-record |
Using haskell-relational-record with Yesod. |
|
| 3 |
@kazu-yamamoto/gitcab |
|
|
| 3 |
@kazu-yamamoto/network-uri |
URI library in Haskell |
|
| 3 |
@kazu-yamamoto/relit |
Regular Expression Literal for Haskell |
|
| 3 |
@kazu-yamamoto/warp-quic |
WAI handler for HTTP/3 based on QUIC |
|
| 3 |
@khibino/haskell-invertible-syntax-parsec |
Turn Parsec type into instance of invertible-syntax-poly. |
|
| 3 |
@khibino/haskell-lazys |
Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language. |
↗️ |
| 3 |
@khibino/haskell-text-ldap |
Parser and Printer for LDAP text data stream |
|
| 3 |
@khibino/haskell-th-reify-compat |
Compatibility for the result type of TH reify |
|
| 3 |
@khibino/kazu-meeting |
Codes for haskellers' meeting |
↗️ |
| 3 |
@khibino/tapl |
Codes for the book " Types and Programming Languages (TaPL)" |
↗️ |
| 3 |
@konn/BottleStory |
A Simple Relay Novel Writing System |
|
| 3 |
@konn/LazyK |
Lazy K interpreter and scm to lazyk translator written in Haskell |
|
| 3 |
@konn/Quasi-Quote-Examples |
Examples for my article |
|
| 3 |
@konn/checkerz |
High-level interface to write GHC's type-checker plugin compatible with multiple version of GHC |
|
| 3 |
@konn/fibs |
Benchmarks on various Fibonacci computation |
|
| 3 |
@konn/foldl-extras |
A utility package to work comfortably with foldl package |
|
| 3 |
@konn/generic-unification |
Unification for free! |
|
| 3 |
@konn/haskell-smtp |
SMTP libraries for SMTP. |
|
| 3 |
@konn/pandoc-japanese-docx |
Enhanced Docx reader for pandoc with the support for Japanese markups |
|
| 3 |
@konn/relayeet |
Account Activity API Streamer |
|
| 3 |
@lesguillemets/nlp100-haskell |
言語処理100本ノックを haskell で |
|
| 3 |
@lesguillemets/sicp-haskell |
SICP in haskell, both exercises and sample codes. |
|
| 3 |
@liyang/google-search |
EDSL for Google and GMail search expressions |
|
| 3 |
@lotz84/servant-stache |
Support for Mustache templates in servant using stache. |
|
| 3 |
@lotz84/servant-todo-example |
Todo web app example using servant |
|
| 3 |
@lotz84/spinner |
Show spinner animation during processing |
|
| 3 |
@mame/type-level-quine |
A type-level Quine in Haskell |
|
| 3 |
@masaedw/Yiki |
a simple wiki |
|
| 3 |
@masatoko/protonic |
Prototyping game (Deprecated) |
|
| 3 |
@matsubara0507/chatwork |
The ChatWork API for Haskell |
|
| 3 |
@matsubara0507/mdium |
Send post written by Markdown to Medium |
|
| 3 |
@matsubara0507/taskpad |
Tool for task management in Haskell |
|
| 3 |
@matsubara0507/test-extensible |
Haskell の extensible パッケージのテストリポジトリ |
↗️ |
| 3 |
@minamiyama1994/SendMails |
mail sender |
|
| 3 |
@mitsuji/huckleberry |
Haskell IOT on Intel Edison and other Linux computers. |
|
| 3 |
@mitsuji/ijbconv |
|
|
| 3 |
@mrkn/sugoi-haskell-learning |
|
|
| 3 |
@msakai/bytestring-encoding |
|
|
| 3 |
@msakai/extended-reals |
Extension of real numbers with positive/negative infinities (±∞) |
|
| 3 |
@myuon/automatoy |
toy toy toy |
|
| 3 |
@myuon/claire |
A simple proof assistant |
|
| 3 |
@myuon/hakoniwa |
My miniature garden as ecosystem simulator |
|
| 3 |
@ncaq/haskell-import-graph |
create haskell import graph for graphviz |
|
| 3 |
@ncaq/yesod-recaptcha2 |
recaptcha2 for yesod |
|
| 3 |
@ne-sachirou/private-values |
Delete private values and private files from your git repos. |
|
| 3 |
@nwtgck/assertion-haskell |
Assertion with condition string representation in Haskell. |
|
| 3 |
@pi8027/tifl |
type inference functional language (fork from lambda plus+) |
↗️ |
| 3 |
@shugo/gwist |
A client to post to Gist and Twitter |
|
| 3 |
@shuhei/48scheme |
A small Scheme interpreter based on Write Yourself a Scheme in 48 Hours. |
|
| 3 |
@sndtkrh/hpml |
|
|
| 3 |
@susisu/Grassy |
Toolkit for the Grass programming language |
|
| 3 |
@suzuki-shin/twhs |
cli twitter client |
|
| 3 |
@tanakh/necosat |
A SAT Solver |
|
| 3 |
@tokiwoousaka/Murmur.hs |
Simple CUI twitter client. |
|
| 3 |
@tokiwoousaka/secretary-bot |
秘書bot |
|
| 3 |
@tom-lpsd/real_world_haskell_exercises |
answers to exercise in 'Real World Haskell' (an o'reilly book) |
|
| 3 |
@usagi/cinnamonroll |
This is the tool for the CSS that decompiling/compiling to the ".cinnamonroll"/".css" type, wrinte in the haskell use with the Parsec library. |
|
| 3 |
@yu-i9/HaSC |
Haskell Small C Compiler |
|
| 3 |
@yu-i9/thih |
Fork implementation of Typing Haskell in Haskell |
↗️ |
| 3 |
@yukiasai/haskell-circleci-example |
|
|
| 3 |
@yuroyoro/stashh |
A CLI client for Atlassian Stash. |
|