Pinned Repositories
base-generics
This library provides some instances for extra GHC.Generic typeclass such as Int8, Word16 and some unboxed types as well.
Beijing2016Haskell
2016年5.1Haskell分享PPT
chp
Communicating Haskell Process. The old one on hackage cannot be installed with GHC 7.10 and later GHC due to AMP. This project fixed the problem
derive-topdown
EightQueens
This is solution for 8-queen problem in java. If you can write better and clearer code than this please show me.
Introduction_to_Haskell
This is source code of my book.
Introduction_to_Haskell_2ed_source
这是Haskell函数式编程入门第2版的源码
LingoesStarDictConverter
这个项目会把灵格斯Lingoes的LD2文件转制成星际王StarDict的格式。
MegneticWindow
shadowsocks
HaskellZhangSong's Repositories
HaskellZhangSong/derive-topdown
HaskellZhangSong/MegneticWindow
HaskellZhangSong/.emacs.d
Emacs configuration for Common Lisp/Clojure users
HaskellZhangSong/buddy-core
Cryptographic api for Clojure
HaskellZhangSong/Carp
A statically typed lisp, without a GC, for real-time applications.
HaskellZhangSong/ChCore
2022 Chcore Lab
HaskellZhangSong/Cloak
A censorship circumvention tool to evade detection by authoritarian state adversaries
HaskellZhangSong/cmake_js_test
HaskellZhangSong/ethereum-evm-illustrated
Ethereum EVM illustrated
HaskellZhangSong/fcomp
HaskellZhangSong/gql
HaskellZhangSong/haskell-ghc-cmm-examples
Haskell/GHC Cmm examples
HaskellZhangSong/haskell-src
Library for manipulating Haskell source code
HaskellZhangSong/hinapi
Node.js native addons without node-gyp!
HaskellZhangSong/kmp-native-wizard
A mostly-empty template to get started creating a Kotlin/Native project.
HaskellZhangSong/kn_demo
HaskellZhangSong/llvm-kaleidoscope
HaskellZhangSong/MicroHs
Haskell implemented with combinators
HaskellZhangSong/miranda
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/
HaskellZhangSong/ms_calculator
Windows Calculator: A simple yet powerful calculator that ships with Windows
HaskellZhangSong/Real_World_OCaml_Book
V2 of Real World OCaml
HaskellZhangSong/shadowsocks-python
A lightweight proxy fork from @clowwindy
HaskellZhangSong/stackage
"Stable Hackage": vetted consistent packages from Hackage
HaskellZhangSong/stg-in-coq
Towards a formally verified Haskell compiler
HaskellZhangSong/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
HaskellZhangSong/svg-tree
SVG loader/serializer for Haskell
HaskellZhangSong/syb
Scrap Your Boilerplate generic programming library in Haskell
HaskellZhangSong/thinking-dumps
This repo keeps track of my codes, answers and thinkings when exploring books.
HaskellZhangSong/upmem_communication_performance_test
This program is to test the CPU-PIM communication performance (latency and bandwidth) under different workload setups (by both sync/async API).
HaskellZhangSong/xSocks
A secure and fast proxy for protect your network traffic