A Ruby language server.
- ruby
- language-server
- intellisense
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Castor is a lightweight, typed Actor library for Scala and Scala.js
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.