☆13Jan 21, 2014Updated 12 years ago
Alternatives and similar repositories for sf-exercises
Users that are interested in sf-exercises are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Mar 21, 2017Updated 9 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 10 years ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago
- SBT project to run the JZY3D samples☆12Feb 1, 2012Updated 14 years ago
- Comprehensive I2C library for the Raspberry Pi☆10Apr 26, 2022Updated 4 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.
- A framework for natural language syntax and semantics based on type theory.☆14Feb 28, 2024Updated 2 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆20Sep 20, 2019Updated 7 years ago
- Package to implement bots in Mathematica using the Telegram API.☆11Feb 19, 2017Updated 9 years ago
- Multinomial Factorization Machines☆21Oct 17, 2016Updated 10 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 6 years ago
- MSRLSTM is a deep learning model for transportation mode detection.☆11Sep 1, 2024Updated 2 years ago
- [Deprecated] Magic of modern c++. Run time type info, reflection, and other fantasic features.☆11Jun 27, 2023Updated 3 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.
- Join us to build a great crypto DEX!☆15Jul 5, 2021Updated 5 years ago
- 💠 UPL: Мова опису кредитних програм☆19Jan 26, 2016Updated 10 years ago
- A free, open-source Online Judge alternative. Coding Magic.☆13Aug 10, 2023Updated 3 years ago
- ☆18Mar 5, 2026Updated 7 months ago
- 1D Convolution Interactive Visualization build with d3.js☆18Feb 9, 2021Updated 5 years ago
- A beautiful android tag group widget.☆23Mar 26, 2016Updated 10 years ago
- Build your own Arch Linux ISO made with 'archiso' using Docker☆18Jul 22, 2023Updated 3 years ago
- 在unity上实现的一些基于position based dynamic的效果☆17Dec 21, 2020Updated 5 years ago
- outcasts no longer allowed in the ivory tower☆28Aug 25, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 概率导论第二版答案补充☆10May 26, 2020Updated 6 years ago
- Github 是笑话平台，对么？☆22Oct 1, 2025Updated last year
- Chrome extension that logs all AJAX (XMLHttpRequest) activity to the Dev Tools Console, allowing inspection of AJAX calls, and open calls…☆26Aug 20, 2015Updated 11 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 4 years ago
- Mathematica Game Package☆26Apr 17, 2022Updated 4 years ago
- This project uses a bluetooth-enabled pulse oximeter, an ESP32 microcontroller board, and a Linux server to capture a longer trace of the…☆22Feb 2, 2021Updated 5 years ago
- Matag: A libre "Magic: The Gathering" web implementation.☆25Sep 11, 2026Updated last month
- ☆33Sep 22, 2023Updated 3 years ago
- Clone of the zbar library, patched for 64-bit Windows and with a wheel for 64-bit Python on Windows☆20Jan 15, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Material for talks I've given☆19May 6, 2024Updated 2 years ago
- Examples for the book “Alex and Happy”☆34May 2, 2015Updated 11 years ago
- A simple, location-aware weather command for Fish☆29Dec 27, 2022Updated 3 years ago
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆21May 4, 2014Updated 12 years ago
- everything temporary☆23Oct 14, 2026Updated 2 weeks ago
- Interop between fs2 and cats☆43Jun 9, 2020Updated 6 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago