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:
- old personal static blog website made with haskell☆15Feb 29, 2020Updated 6 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
- Haskell Cheat Sheets☆23Mar 5, 2014Updated 12 years ago
- Haskoin Store is a blockchain storage service with a RESTful API☆29Aug 22, 2026Updated last week
- 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.
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- Curated list of python software and packages related to scientific research in audio☆13May 12, 2017Updated 9 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- Adding extended hierarchical state machine capabilities to React (1K min.gzipped)☆22Jun 16, 2020Updated 6 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
- Data processing code and examples for Code4Lib 2016 presentation☆11Mar 10, 2016Updated 10 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Dec 21, 2015Updated 10 years ago
- Ordered sets and maps, implemented in pure clojure☆15Oct 18, 2013Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Default values for ActiveRecord models.☆16Mar 12, 2026Updated 5 months 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
- native clojure driver for postgresql (jdbcfee)☆12Dec 28, 2017Updated 8 years ago
- Implementations of common streaming abstractions in OCaml.☆12Jun 28, 2016Updated 10 years ago
- Create a Text to Speech App With Swift☆22Oct 3, 2014Updated 11 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
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Continuous Integration for MirageOS using DataKit's git workflow☆20Oct 19, 2020Updated 5 years ago
- A single-file starting point for your Emacs configuration☆18Feb 25, 2025Updated last year
- SQL abstract syntax tree☆29Apr 9, 2024Updated 2 years ago
- A JVM contract tool for testing HTTP interactions based on contracts☆10Aug 23, 2016Updated 10 years ago
- Mid-level client library for accessing PostgreSQL from Haskell☆205Nov 19, 2021Updated 4 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Feb 28, 2021Updated 5 years ago
- ActivityWatch bash and zsh watcher.☆11Dec 2, 2022Updated 3 years ago
- Haskell command line text stream processor☆87Jul 11, 2019Updated 7 years ago
- Bucklescript data structures for effectful sync and async programming☆35Feb 10, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A node package that always keeps you up to date with your dependencies.☆10Oct 28, 2019Updated 6 years ago
- The repository of Java APIs for any JavaScript library with a TypeScript definition☆13Jul 8, 2018Updated 8 years ago
- Syntax highlighting for Alda - a music programming language.☆13Sep 5, 2021Updated 4 years ago
- Technical reports and preprints☆14Jul 30, 2016Updated 10 years ago
- Somewhat low-level API for getting smoother animations with requestAnimationFrame☆28May 24, 2018Updated 8 years ago
- General-purpose psychology agent (Caude Code): collegial mentor, specialized sub-agents, and a consensus-or-parsimony adversarial evaluat…☆20May 1, 2026Updated 3 months ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Jan 15, 2018Updated 8 years ago