Webpack plugin that runs typescript type checker on a separate process.
- typescript
- webpack
- ts-loader
- plugin
Repository Index
76,855 visible repositories in the index
1–9 of 9 · Most stars
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
Recurrent Neural Network library for Ruby
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Generate Clojure syntax from vectors
- clojure
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
Javascript recursion schemes compatible with flow-static-land