深度推理证明系统的交互式解释器,称为SBV。用Haskell编写的具有JS接口的表达式自动解析和证明生成系统
An interactive interpreter for the deep inference proof system known as SBV. Automatic expression parsing and proof generation system written in Haskell with a JS interface (2024-03-15, Haskell, 0KB, 下载0次)
命令行本地第一个应用程序的模板实现,并附带同步服务器。
A template implementation of command-line local-first application with a synchronisation server to go along with it. (2023-12-16, Haskell, 0KB, 下载0次)
Mushu是一款极简MPD客户端,具有TUI和音乐库的增量模糊查找器
Mushu is a minimalist MPD client with a TUI and an incremental fuzzy finder for your music library (2018-08-26, Haskell, 0KB, 下载0次)
Haskell中的一个微小的依赖类型检查器,由[@andrejbauer](https:github.com andrejbauer)的OCaml翻译而来
A tiny dependent typechecker in Haskell, translated from [@andrejbauer](https: github.com andrejbauer) s OCaml (2020-01-18, Haskell, 0KB, 下载0次)
MIRROR of
一个命令行界面,用于将从本地映像中提取的数据同步到远程Postgres数据库,以及一个提供数据的服务器...,
A command-line interface that synchronizes data extracted from local images to a remote Postgres database, and a server that provides the data via GraphQL API and hosts a Slack app that queries slash commands against filesystem tags and posts a random match in response. (2020-02-28, Haskell, 0KB, 下载0次)
一个适配器,用于根据可选的Data.Enumerator iterate包将attoparsec解析器转换为炽热的快速迭代,
An adapter to convert attoparsec Parsers into blazing-fast Iteratees based on the alternative Data.Enumerator iteratee package, (2010-10-07, Haskell, 0KB, 下载0次)
一个Haskell库,使用...,为每个操作系统上的代理服务器实现最有效的套接字到套接字数据传输循环...,
A Haskell library that implements most efficient socket-to-socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls. (2016-07-24, Haskell, 0KB, 下载0次)
以太网、TCP、UDP、IPv4、IPv6、ICMP、DHCP和TFTP包的Haskell数据结构和解析器。摘自房屋项目n...,
Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project network stack. (2015-10-12, Haskell, 0KB, 下载0次)
hsparql包括一个DSL来轻松创建查询,以及将这些查询提交到SPARQL服务器的方法,将结果返回为...,
hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures. (2012-03-20, Haskell, 0KB, 下载0次)
Haskell中的时间跟踪器。事实上,这是我的Haskell学习项目,我懒得把它向前推进,但它仍然很可爱
Time tracker in Haskell. Actually it s my Haskell learning project and I m lazy to move it forward, still it s cute and (2023-02-16, Haskell, 475KB, 下载0次)