Course materials for CS7NS1/CS4400
☆27Nov 29, 2018Updated 7 years ago
Alternatives and similar repositories for cs7ns1
Users that are interested in cs7ns1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the materials for CS7053☆32Apr 10, 2026Updated 4 months ago
- Course on Machine Learning with Applications in Media Engineering☆36Sep 9, 2018Updated 7 years ago
- The Phage Programming Language☆13Feb 8, 2021Updated 5 years ago
- A Chatbot that can answer questions about GitHub.☆17Jun 12, 2026Updated 2 months ago
- Data migrations through implicit function composition at the type-level☆22Sep 24, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.☆33Nov 1, 2017Updated 8 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Haskell FoundationDB bindings☆15May 20, 2018Updated 8 years ago
- Language Server Protocol support for MonoDevelop and Visual Studio for Mac☆14Mar 15, 2020Updated 6 years ago
- git mirror of DrawKit OS X framework from http://apptree.net/drawkit.htm☆15Oct 5, 2012Updated 13 years ago
- Sync your TCD timetable with Google Calendar☆10Nov 12, 2019Updated 6 years ago
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- ☆23May 22, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Create a Debianization by examining a .cabal file.☆17Aug 3, 2020Updated 6 years ago
- Example project containing a KiCAD project for a basic STM32 breakout board.☆19May 5, 2018Updated 8 years ago
- Solution to stream audio from a Mac to a Raspberry Pi☆18Apr 19, 2021Updated 5 years ago
- Bitbucket Command Line tool☆18Mar 26, 2019Updated 7 years ago
- github action for running hlint☆19Feb 23, 2019Updated 7 years ago
- Session Types with Priority in Linear Haskell☆28Jun 11, 2024Updated 2 years ago
- ☆32Nov 20, 2019Updated 6 years ago
- Haskell implementation of DAP interface data.☆28Oct 5, 2025Updated 11 months ago
- ☆27Apr 21, 2013Updated 13 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.
- Transform git histories between tree-like and linear forms☆30May 23, 2020Updated 6 years ago
- A GraphQL extension for vscode with support for autocomplete, go to def, and more☆42May 3, 2023Updated 3 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- playing with recurrent neural networks☆29Sep 30, 2015Updated 10 years ago
- RISC-V Online Help☆36May 27, 2026Updated 3 months ago
- Roland TR-808 Drum Machine in PureScript☆27Sep 2, 2018Updated 8 years ago
- Extend the import list of a Haskell source file☆38Oct 8, 2021Updated 4 years ago
- Customisable QR codes for React Native☆96Jul 18, 2026Updated last month
- The Steam Community badge generator☆27Mar 14, 2014Updated 12 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.
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- Syntax highlighter for Haskell using the lexer of GHC☆59Aug 1, 2026Updated last month
- GraphQL::Autotest tests GraphQL API with auto-generated queries.☆43Jan 14, 2024Updated 2 years ago
- Map lazy functional language constructs to LLVM IR☆54Jun 21, 2019Updated 7 years ago
- TypeScript compiler and JavaScript engine in Lean☆66Aug 31, 2026Updated last week
- Tasty meal of Dhall☆67Aug 16, 2023Updated 3 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Sep 13, 2023Updated 2 years ago