A modified version of the University of Pennsylvania's CIS194
☆12May 12, 2021Updated 5 years ago
Alternatives and similar repositories for cis-194-spring-2017
Users that are interested in cis-194-spring-2017 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A streams2 Readable stream generator, useful for testing.☆15Updated this week
- Attempto Controlled English parser and printer☆15Feb 18, 2015Updated 11 years ago
- Source of my personal blog at xinitrc.de☆18Sep 20, 2016Updated 9 years ago
- My Hakyll-based blog☆18Nov 30, 2018Updated 7 years ago
- A modified version of the University of Pennsylvania's CIS194☆19Jan 8, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Haskell Cheat Sheets☆23Mar 5, 2014Updated 12 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- A backend service for the Push-Android app to connect and pull data from.☆10Jan 19, 2023Updated 3 years ago
- mytoken - tutorial companion code☆11Nov 6, 2014Updated 11 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Contains common english words categorized by syllables☆14Mar 4, 2015Updated 11 years ago
- Stub project showing how to organize tests and benchmarks in Haskell☆26Jun 14, 2018Updated 8 years ago
- FlashCard open source website https://izidict.com☆29Jan 9, 2019Updated 7 years ago
- ☆34Jul 17, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Real World Haskell☆30Jul 4, 2012Updated 14 years ago
- Schemafied Stripe Bindings for Clojure.☆15Oct 31, 2016Updated 9 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆35Nov 30, 2022Updated 3 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆37Jul 21, 2025Updated last year
- Default values for ActiveRecord models.☆16Mar 12, 2026Updated 6 months ago
- Chef Cookbook to deploy the WildFly Java Application Server☆12Feb 11, 2021Updated 5 years ago
- A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.☆144Jan 5, 2017Updated 9 years ago
- A path to Programming Language Theory enlightenment☆13Apr 13, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mixes/merges/extends your objects in multiple ways☆20Apr 2, 2024Updated 2 years ago
- Implementations of common streaming abstractions in OCaml.☆12Jun 28, 2016Updated 10 years ago
- A short scripts and programs☆11Jan 5, 2023Updated 3 years ago
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 6 years ago
- Experimental functional language☆16Dec 24, 2025Updated 8 months ago
- A set of tmux scripts to setup a remote pairing session for Rails with VIM and Spork☆15Feb 24, 2015Updated 11 years ago
- A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Per…☆48Nov 11, 2016Updated 9 years ago
- Simple, secure and composable abstraction for construction of efficient data flows.☆14Apr 21, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- Mid-level client library for accessing PostgreSQL from Haskell☆205Nov 19, 2021Updated 4 years ago
- Higher-order React component for adding style helper props based on understyle☆41Apr 13, 2017Updated 9 years ago
- ☆23Apr 17, 2018Updated 8 years ago
- hsc3 - haskell supercollider☆15Jul 24, 2026Updated last month
- Haskell command line text stream processor☆87Jul 11, 2019Updated 7 years ago
- 🧊 Презента ції та воркшопи☆18Jun 28, 2025Updated last year