C-alcium

C-alcium's Stars

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• onivim/oni2

  Native, lightweight modal code editor

  Language:Reason7.8k283

• rtcovidlive/covid-model

  Language:Jupyter Notebook29388

• Rapptz/discord.py

  An API wrapper for Discord written in Python.

  Language:Python15k3.8k

• rescript-lang/rescript

  ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

  Language:ReScript6.8k456