https://github.com/gothinkster/realworld
☆36Dec 5, 2025Updated 3 months ago
Alternatives and similar repositories for realworld-haskell
Users that are interested in realworld-haskell are comparing it to the libraries listed below
Sorting:
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)☆16Jun 3, 2025Updated 9 months ago
- Clojure를 사용하는 국내 회사☆16Dec 22, 2023Updated 2 years ago
- 모나드 첫걸음☆41Mar 18, 2019Updated 6 years ago
- 공약한판정리 - 기호1번 이재명☆18Apr 10, 2025Updated 10 months ago
- (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.☆26Apr 22, 2023Updated 2 years ago
- ☆56Feb 20, 2026Updated 2 weeks ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 11 months ago
- Haskell + Scotty example RealWorld API implementation for https://realworld.io☆28Jan 1, 2025Updated last year
- Angular Frontend for the Spring Boot Microservices series☆13Jun 9, 2024Updated last year
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- ☆36Nov 7, 2025Updated 3 months ago
- My code snippets☆38Sep 30, 2025Updated 5 months ago
- Exemplary real world application built with Scala + http4s☆33Mar 13, 2020Updated 5 years ago
- Repo for transient training paper at ICAC 2019.☆11Oct 5, 2022Updated 3 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- An SBT Plugin that acts as a light wrapper around Buf.☆10Oct 29, 2024Updated last year
- This GitHub repository contains a project that automates the provisioning of a Kubernetes (K8s) cluster using Infrastructure as Code (IaC…☆15Oct 19, 2025Updated 4 months ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated 2 months ago
- Exemplary real world application built with Elixir+Phoenix https://realworld.io☆47Jan 10, 2023Updated 3 years ago
- A Clojure library for efficient data access using batching and caching.☆10Jan 15, 2021Updated 5 years ago
- KIRD 위성영상활용교육 - 위성영상의 이해☆15Apr 25, 2023Updated 2 years ago
- Can I Standardize?☆13Mar 15, 2018Updated 7 years ago
- A Reservation Management App using Firebase Back-end with Flutter for Cross Platform Development.☆13Sep 5, 2022Updated 3 years ago
- pbrisbin.com source code, using the Yesod haskell web framework☆25Sep 30, 2025Updated 5 months ago
- 🫨 Haptic feedback from your coding agents – Get notified physically.☆30Feb 21, 2026Updated last week
- ☆10Nov 12, 2021Updated 4 years ago
- My little configurations☆12Feb 26, 2026Updated last week
- ☆10Jun 5, 2021Updated 4 years ago
- Assert that a change you expected to happen, happened, with this chai plugin☆14May 22, 2017Updated 8 years ago
- 친구가 풀길래 나도 풀어보는 Baekjoon Online Judge☆10May 24, 2020Updated 5 years ago
- A Mumble plugin that offers a JSON API for Mumble interaction via named pipes☆11Jan 12, 2025Updated last year
- Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표☆12Nov 20, 2022Updated 3 years ago
- A Sequelize plugin that allows you to insert a SQL comment before the basic CRUD operations (SELECT, INSERT, UPDATE, DELETE) in order to …☆12Mar 24, 2022Updated 3 years ago
- A simple tool to generate random strings.☆10Aug 18, 2017Updated 8 years ago
- 리팩터링 2판 학습 - 코틀린 언어를 이용해서.☆13Feb 20, 2025Updated last year
- Promise-alternative library for doing asynchronous operations☆10Jan 26, 2026Updated last month
- Network- and GPU-aware management of serverless functions at the edge☆15Mar 3, 2023Updated 3 years ago
- OSPO 101 Training Modules☆10Nov 12, 2021Updated 4 years ago