Name: Comcx
Type: User
Company: LAIN
Bio: The truth that we believe, maybe just a work of someone else.
Location: カルサナス都市联合
Blog: comcx.fun
Haskell and Agda, trying to be practical with Scala and Rust.[email protected].
.conf
My configurations of workspace
agda.study
Agda is fun
algo_lib
My own private algorithm library including data structure and some classic algorithms
astro
Astro programming Language Engine
aurora
Experimental OS level Programming Language
awesome-lisp-machine
A curated list of awesome Lisp Machine and Lisp Operating System
code-prettify
Automatically exported from code.google.com/p/google-code-prettify
codetranser--js
A new trial of making a compiler
codewarslog
My record of CodeWars
comcx
Self
comcx.github.io
My own website
coursera-ml-andrewng-notes
吴恩达老师的机器学习课程个人笔记
cs-video-courses
List of Computer Science courses with video lectures.
cs143-stanford
My personal records while learning CS143 Compilers of Stanford
cs97si
csapp
learning note of CSAPP
cython
Cython
deeplearning_ai_books
deeplearning.ai（吴恩达老师的深度学习课程笔记及资源）
encoding
Encoding of English encoding!
enderdragon
Fighting with Ender Dragon
english-words
:memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion
estack
stack
fancy-walks
solutions for problems/puzzles from a variety of websites in fancy languages
fantasy-3
small strange? game?
free-programming-books
:books: Freely available programming books
haskell-99
My solutions on Haskell-99 problems
hello-emacs
emacs新手入门资料汇集地
hpffp-resources
Haskell Programming From First Principles - Follow-up Resources
idris-dev
A Dependently Typed Functional Programming Language
image
Encoding and decoding images in Rust
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.