Pinned Repositories
lisp-interpreter
Python实现的简易Lisp解释器
NFA-TO-DFA
convert the NFA to DFA
ruby-monad
An implementation of for-comprehension(do notation) in Ruby:)
socks5-proxy
oshmkufa2010's Repositories
oshmkufa2010/socks5-proxy
oshmkufa2010/lisp-interpreter
Python实现的简易Lisp解释器
oshmkufa2010/NFA-TO-DFA
convert the NFA to DFA
oshmkufa2010/ruby-monad
An implementation of for-comprehension(do notation) in Ruby:)
oshmkufa2010/applicative-parser
oshmkufa2010/blog
oshmkufa2010/calculater
a simply calculater
oshmkufa2010/codewars
oshmkufa2010/go-common
哔哩哔哩 bilibili 网站后台工程 源码
oshmkufa2010/hackerrank
functional programming exercise using Haskell
oshmkufa2010/hakyll-blog
oshmkufa2010/httpserver
简单的HTTP服务器
oshmkufa2010/idris-vscode
Idris front-end for VS Code
oshmkufa2010/leetcode
oshmkufa2010/LL-Generator
oshmkufa2010/ll-python
oshmkufa2010/miso
:ramen: A tasty Haskell front-end framework
oshmkufa2010/monadic
helps 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
oshmkufa2010/moon-render
oshmkufa2010/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
oshmkufa2010/purescript-smolder
A combinator library for generating markup
oshmkufa2010/py_thread_pool_test
oshmkufa2010/Regex-NFA
a simple regex engin based on NFA
oshmkufa2010/RegexEngine
oshmkufa2010/rxjs-training
(From 2015) RxJS Workshop exercises for MLOC.js
oshmkufa2010/tapl
oshmkufa2010/TextQuery
a project in C++ Primer 5th
oshmkufa2010/tree-displaying
oshmkufa2010/vimrc-for-idris