cryogenian Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

alloycommandline

Use Alloy Analyzer from Commandline

async-blobstore

bettertime

Better Time updated to be compatible with the UI code in Bannerlord 1.5.9 and newer

cats

Lightweight, modular, and extensible library for functional programming.

chart.js

Simple HTML5 Charts using the <canvas> tag

clojure-lsp

Clojure & ClojureScript Language Server (LSP) implementation

contrib-old

echarts

A powerful, interactive charting and visualization library for browser

fs2-ssh

A wrapper around Apache SSHD targeting cats-effect and fs2

fstar

An ML-like language with a type system for program verification

funscript

F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider

go

The Go programming language

guppi

karma-coverage

A Karma plugin. Generate code coverage.

mandragora-bucket

bunch of gulp tasks and npm dependencies for purescript-projects

mandragora-bucket-1

Gulp goodness for PureScript.

mongo4cats

MongoDB client wrapper for Cats Effect & FS2

node-purescript-bin

PureScript wrapper that makes it seamlessly available via npm

proxy-plus

A replacement for Clojure's proxy that's 10x faster and more usable

pscid

A lightweight, fast and unintrusive PureScript file-watcher

purescript

A small strongly, statically typed language that compiles to Javascript

purescript-ace

Purescript bindings for the Ace editor

purescript-ace-halogen

A Halogen component for the Ace editor.

purescript-aff-reattempt

A library for reattempting asynchronous computations

purescript-affjax

An asynchronous AJAX library built using Aff.

purescript-argonaut

PureScript implementation of argonaut

purescript-argonaut-codecs

purescript-argonaut-core

purescript-argonaut-traversals