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.