Popular repositories Loading

1. purescript-book purescript-book Public

   Forked from purescript-contrib/purescript-book

   Japanese translation of "PureScript by Example"; 『実例によるPureScript』のコミュニティフォーク追従版

   PureScript 9 1

2. idris2-tutorial idris2-tutorial Public

   Forked from stefan-hoeck/idris2-tutorial

   Japanese translation of "Functional Programming in Idris 2"

   Idris 2

3. nsplist nsplist Public

   NeXTSTEP property list parser library in Crystal

   Crystal 1

4. ruby-ndjson ruby-ndjson Public

   Forked from ndjson/ndjson.rb

   ndjson parser and generator for ruby

   Ruby

5. idris2-charprop idris2-charprop Public

   Character properties defined by the Unicode and XML standard.

   Idris

6. idris2-html-entity idris2-html-entity Public

   HTML entity library in Idris 2. https://gitlab.com/gemmaro/idris2-html-entity

   Idris