K Framework Tools 7.0

Main InChI repository

CKAN is an open-source DMS (data management system) for powering data hubs and data portals. CKAN makes it easy to publish, share and use data. It powers catalog.data.gov, open.canada.ca/data, data…

An open-source terminology management tool

Open Source Keyman keyboards

Crowdsourcing better titles and thumbnails on YouTube

Skip YouTube video sponsors (browser extension)

Automated integer factorization

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Tools for making the most out of GoPro Plus.

A feature-rich Unix terminal client for the Mattermost chat system

Horn Clause Constraint Solving for Liquid Types

Community list of awesome projects, apps, tools, pinning services and more related to IPFS.

A curated list of awesome mathematics resources

Papers from the computer science community to read and discuss.

A curation of awesome PureScript libraries, resources and shiny things.

A list of Free Software network services and web applications which can be hosted on your own servers

Level 2 Data Processing

Я - extremely composable embeddable programming language

A web framework to display Cross Linguistic Linked Data.

Collaborative data curation for Glottolog

A modern step-through debugger for GHC Haskell

Graph programming language

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

Newly discovered pairing functions proportional to product of x and y. ZPFs for short.

flat assembler 1 - reconstructed source history

DiskCryptor Open Source full disk encryption tool