基于Haskell的Erlang解释器支持递归,并通过持续集成进行健壮测试。
Haskell-based Erlang interpreter supporting recursion, and robust testing via Continuous Integration. (2024-03-29, Haskell, 0KB, 下载0次)
使用blaze html和blaze svg的haskell scotty服务器。使用极其快速的svg组合显示用户在DSL中定义的形状...,
A haskell scotty server using blaze-html and blaze-svg. Displays shapes defined by the user in a DSL using the blazingly fast svg combinator library. (2016-11-22, Haskell, 0KB, 下载0次)
通用、多语言、多范式代码分析器,
Universal, Multi Language, Multi Paradigm code analyzer, (2023-05-16, Haskell, 0KB, 下载0次)
Haskell中基于SMT的验证。表示关于Haskell程序的属性,并使用SMT解算器自动证明它们。,
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers., (2023-07-08, Haskell, 0KB, 下载0次)
用于vty ui builder库和文档读取器后端的命令行工具界面,
A command-line tool interface for the vty-ui-builder library and document reader backends, (2011-12-05, Haskell, 0KB, 下载0次)
尝试以简短演示的形式在Haskell中进行游戏。它使用名为Apecs的ECS库以及SDL2的包装器。,
An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2., (2020-10-25, Haskell, 0KB, 下载0次)
研究从基于System F的语言到具有强制函数对象编码的Java的中间件编译器,
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding, (2016-01-10, Haskell, 0KB, 下载0次)
帮助PureScript开发人员更熟悉Haskell,因此他们可以将Haskells用作web服务器,
Helps a PureScript developer get more familiar with Haskell, so they can use Haskell as a web server, (2019-11-05, Haskell, 0KB, 下载0次)
通过nix输出监视器(也称为nom)管道您的nix构建输出,以在构建时获取其他信息。,
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building., (2023-06-11, Haskell, 0KB, 下载0次)
使用服务编写的REST API服务器和使用服务客户端的测试套件的最小示例,
A minimal example for a REST-API-server written with servant and a test-suite using servant-client, (2021-07-27, Haskell, 0KB, 下载0次)
支持Trello板和GitHub项目的命令行看板任务管理器,
Command-line Kanban board task manager with support for Trello boards and GitHub projects, (2022-02-03, Haskell, 0KB, 下载0次)
通过语言服务器(LSP)提供官方haskell ide支持。ghcide和haskell ide引擎的后续产品。,
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine., (2023-07-18, Haskell, 0KB, 下载0次)
通用Haskell文本编辑器逻辑和Brick小部件,用于固定宽度的字体。
Generic Haskell text-editor logic and Brick widget for use with fixed-width fonts. (2020-05-02, Haskell, 0KB, 下载0次)
GRIN是懒惰和严格函数语言的编译器后端,具有整个程序优化支持。
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. (2023-04-28, Haskell, 0KB, 下载0次)
用haskell编写的Elm语言服务器(存档)。请改用
Elm language server written in haskell (archived). Use
基于Shake的Haskell静态站点生成器(被https:github.com srid ema取代),
Haskell static site generator based on Shake (superseded by https : github.com srid ema), (2022-03-24, Haskell, 0KB, 下载0次)
制作在任何浏览器中运行并本机使用WebKitGtk的文档对象模型(DOM)应用程序,
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk, (2022-10-11, Haskell, 0KB, 下载0次)
用Haskell.制作的免费、简单易用的视频播放器。,
A free and simple to use video player made with Haskell., (2020-03-07, Haskell, 0KB, 下载0次)
开源的Haskell为GIF制造商构建了视频编辑器。,
The open-source, Haskell-built video editor for GIF makers., (2021-08-13, Haskell, 0KB, 下载0次)
Haskell Dockerfile linter,解析器,漂亮的打印机和EDSL,分叉自
Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from