ocaml
haskell
python
cpp
scala
ruby
elixir
rust
latex
pdf
functional-programming
category-theory
typescript
awesome
clojure
open-source
lua
list
erlang
emacs-lisp
dev
code-quality
security
static-analysis
typechecker
type-check
abstract-interpretation
program-analysis
taint-analysis
control-flow-analysis
node
c
csharp
hmemcpy/milewski-ctfp-pdf503日前10.6k
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
lk-geimfari/awesomo504日前9.2k
Cool open source projects. Choose your project and get involved in Open Source development now.
facebook/pyre-check503日前6.6k
Performant type-checking for python.
extism/extism503日前3.5k
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.