Job descriptions for hiring
☆27Oct 5, 2023Updated 2 years ago
Alternatives and similar repositories for hiring
Users that are interested in hiring are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My prototype of a USB-connected joystick that uses HID protocol, written in C using Atmega microcontrollers.☆10Nov 5, 2022Updated 3 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 7 years ago
- A recursive file-system digest (hash)☆13Apr 8, 2026Updated last week
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 5 months ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- align ghcjs with stack☆11Nov 30, 2016Updated 9 years ago
- About me☆16Nov 1, 2024Updated last year
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- ☆10Oct 15, 2019Updated 6 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.
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 9 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 years ago
- 🌑 Forth Programming Language on Lua☆23Jun 19, 2025Updated 10 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Nov 20, 2023Updated 2 years ago
- Multi-Dimensional Analog Literals in Rust☆15May 24, 2021Updated 4 years ago
- A Haskell front-end framework☆40May 22, 2020Updated 5 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- A 65C02 Assembly eDSL in Haskell☆17May 31, 2018Updated 7 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆26Oct 15, 2018Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Practice interview problems solved in Rust☆13Jan 28, 2021Updated 5 years ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- A service that can be used with Boost.Asio to asynchronously monitor file events.☆15Nov 1, 2012Updated 13 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.
- Persistent vectors for Haskell based on array mapped tries☆28May 9, 2022Updated 3 years ago
- Website for ImplicitCAD☆15Dec 25, 2019Updated 6 years ago
- library for creating minecraft levels and commands☆13Apr 3, 2021Updated 5 years ago
- The HaTeX User's Guide☆21May 17, 2021Updated 4 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- A streaming query language.☆57Oct 20, 2020Updated 5 years ago
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 3 years ago