开源项目

Gaffer 是个大规模图形数据库。Gaffer 是可以方便存储大规模图的框架，节点和边界有数据统计，比如计数，直方图和草图。这些统计数据是时间窗口的节点和边界属性，可以根据时间动态更新。 Ga...

IHP 是开箱即用 (batteries-included) 的 Web 框架，采用函数式编程语言 Haskell 编写，同时应用了函数式包管理器 Nix。 主要特性 类型安全 IHP 采用的 ...

InteractiveGraph-neo4j —— 图数据在线交互服务器 InteractiveGraph-neo4j 基于 Neo4j 数据库为 InteractiveGraph 提供服务器后...

它是一个为快捷、隐私和安全应用发展而设计的领域特定语言（DSL）。经过多年对后量子零知识密码的深入研究，我们为开发者创造了Keelung，帮助他们在没有专业密码学技能的背景下也能创建安全、可信的...

Nightweb 是一款适用于 Android 设备和 PC 的应用程序，可将你的设备连接到匿名的、点对点的社交网络，你可以发贴、分享照片，你的追随者可通过基于 I2P 匿名网络透过 BitTo...

HLearn 是采用 Haskell 语言编写的高性能机器学习库，它对任意维度空间有着最快最近邻的实现算法。 HLearn 同样也是一个研究型项目。该项目的研究目标是为机器学习发掘“最佳可能”的...

Darcs 是新一代轻量级分布式版本控制系统. 完全使用Haskell编写而成。 不同于以往的版本控制系统, Darcs没有中央服务器. 任何一个本地repository都可以既是客户端也是服务...

HGraphDB 是一个使用 HBase 作为图数据库的客户端层， 是 Apache TinkerPop 3 接口的实现。 安装 <dependency>     <groupId>io.hgr...

GRAKN.AI 由两部分组成：Grakn 和 Graql。 Grakn Grakn 是面向知识系统（knowledge-oriented ）的 Hyper-Relational 数据库，使机器...

stack-ide 是基于 Stack 的 IDE 后端 JSON 接口。

Carp 是一种小型编程语言，专为对游戏，声音合成和可视化等交互性和性能敏感的用例而设计。它是一个静态类型的 lisp，没有GC，用于实时应用程序。 警告！这是一个研究项目，这里的大量信息可能会...

JanusGraph 是一个高度可扩展的分布式图数据库，专门用于存储和查询包含数千亿个分布在多机群集中的极点和边缘的图形。 JanusGraph 是一个事务处理型数据库，可以支持数千个并发用户实...

Glean 是一个用于收集、推导和查询有关源代码信息的系统。它旨在收集和存储有关代码结构的详细信息，并提供对数据的访问，以提供从在线 IDE 功能到离线代码分析的强大工具和体验。你可以将其用于：...

What is this? Coast is a full stack web framework written in Clojure for small teams or solo deve...

Streamly 是一个 Haskell 库，提供构建安全、可扩展、模块化和高性能软件的构建块。使用数据流编程和声明式并发从模块化构建块构建可靠和高性能的系统。 特性： Haskell的类型安全...

OrientDB 是一款高性能的文档、图数据库，在关系查找、遍历方面有很大的速度优势，特别是处理传统关系型数据库中的join操作，图数据库具有无法比拟的优点。虽然OrientDB官方提供了Jav...

一个开源、高性能、本机图形存储，包含您对企业就绪数据库所期望的一切，包括高可用性集群、ACID 事务和Geequel，一种直观的、以模式为中心的图形查询语言。开发人员使用基于图论的结构，我们称之...

Pandoc 可将多种文档格式，包括：markdown, reStructuredText, textile, HTML, DocBook, or LaTeX 转成： HTML formats:...

Ivory 语言是一门可嵌入的领域专用语言，用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性 可嵌入：Ivory 以 ...

penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表。 penrose 是一个尚处于发展阶段的早期系统。 我们的系统还没有为贡献或公共使用做好准备，但希望很快就能实现。 如果您对...