Some online judge solutions in Haskell
☆19May 19, 2016Updated 9 years ago
Alternatives and similar repositories for OJHaskell
Users that are interested in OJHaskell are comparing it to the libraries listed below
Sorting:
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Nov 5, 2011Updated 14 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Books on programming language theory and linguistics in general.☆56Jul 16, 2021Updated 4 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- home page☆75Aug 25, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- ☆15Sep 19, 2021Updated 4 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- The search language for your filesystem☆38Jan 30, 2026Updated last month
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- 从Docker官方Ubuntu镜像，定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- 基于 GitHub Actions 的再漫画 (zaimanhua.com) 自动签到工具 | Auto check-in tool for zaimanhua.com☆28Feb 15, 2026Updated last week
- Asynchronous traffic simulation application using async-api☆16Jul 28, 2025Updated 7 months ago
- COmpact SOlver for COnstrained problems☆14Updated this week
- ☆11Sep 21, 2025Updated 5 months ago
- Keyboard‑driven terminal app to view and manage users and groups. Browse accounts, see memberships, search, and make common changes: rena…☆23Nov 11, 2025Updated 3 months ago
- (翻译)JavaScript轻量级函数式编程☆14Sep 30, 2019Updated 6 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology☆11Aug 31, 2019Updated 6 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- A programming language similar to human natural language expression☆10Jul 1, 2020Updated 5 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- 基于分形理论中的参数L-系统，使用OpenGL与VC++实现了真实度较高的三维树木，并且可以通过调整参数进行树木的变换。☆12Jun 5, 2018Updated 7 years ago
- Steve Baker's Tree Command for Linux☆10Jan 12, 2015Updated 11 years ago
- salon for sharing thoughts and ideas☆12Nov 11, 2021Updated 4 years ago
- ☆17Nov 29, 2025Updated 3 months ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- A simple linux troubleshooting utitliy.☆28Jan 4, 2026Updated last month
- JFact repository☆18Apr 17, 2022Updated 3 years ago
- Command Performance Benchmarking☆31Jan 21, 2026Updated last month
- ☆12Jun 28, 2018Updated 7 years ago
- 我自己的 Gentoo 配置文件☆12Jan 3, 2023Updated 3 years ago
- Guides and reference material for the Workflow Description Language.☆16Feb 12, 2026Updated 2 weeks ago
- Create Excel files with Haskell☆12Mar 15, 2020Updated 5 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- Protobuf generator for MoonBit programming language☆14Updated this week
- A Haskell framework for running concurrent computations on an HPC cluster.☆13Oct 10, 2025Updated 4 months ago