libghc-clash-prelude-prof
Functional hardware description language - Prelude library; profiling libraries
Clash is a functional hardware description language that borrows both its
syntax and semantics from the functional programming language Haskell. The
Clash compiler transforms these high-level descriptions to low-level
synthesizable VHDL, Verilog, or SystemVerilog.
libhierarchy-builder-coq
build hierarchies of algebraic structures in Coq (runtime files)
This software provides high-level commands to build hierarchies of algebraic
structures in the Coq system.
node-decko
useful Javascript decorators
Decorators help simplify code by replacing the noise of common patterns with
declarative annotations.
unison-2.51+4.13.1
file-synchronization tool for Unix and Windows
Unison is a file-synchronization tool for Unix and Windows, written
in OCaml. It allows two replicas of a collection of files and
directories to be stored on different hosts (or different disks
on the same host), modified separately, and then brought up to
date by propagating the changes in each replica to the other.
node-codemirror-language
Language support infrastructure for the CodeMirror code editor
CodeMirror is a code editor component for the web. It can be used in
websites to implement a text input field with support for many editing
features, and has a rich programming interface to allow further extension.
python3-django-bootstrapform
generate twitter-bootstrap form output for django form - Python 3.x
Django bootstrap form generates twitter-bootstrap form output for django form.
A simple Django template tag to work with twitter bootstrap.