-
-
-
-
-
DPlayer Public
Forked from DIYgod/DPlayer🍭 Wow, such a lovely HTML5 danmaku video player
JavaScript MIT License UpdatedMar 24, 2024 -
-
-
-
idris-vscode Public
Forked from meraymond2/idris-vscodeIdris front-end for VS Code
TypeScript MIT License UpdatedSep 26, 2021 -
-
-
-
-
miso Public
For 8000 ked from dmjio/miso🍜 A tasty Haskell front-end framework
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 2, 2019 -
monadic Public
Forked from pzol/monadichelps dealing with exceptional situations, it comes from the sphere of functional programming and bringing the goodies I have come to love in Scala to my ruby projects
Ruby MIT License UpdatedJan 28, 2016 -
-
-
PLFA-zh Public
Forked from Agda-zh/PLFA-zh《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Agda Creative Commons Attribution 4.0 International UpdatedNov 17, 2020 -
purescript-smolder Public
Forked from bodil/purescript-smolderA combinator library for generating markup
PureScript GNU Lesser General Public License v3.0 UpdatedOct 15, 2019 -
-
-
-
ruby-monad Public
An implementation of for-comprehension(do notation) in Ruby:)
-
rxjs-training Public
Forked from staltz/rxjs-training(From 2015) RxJS Workshop exercises for MLOC.js
JavaScript MIT License UpdatedJul 9, 2019 -
-
-
-
-
{{ message }}