☆21Sep 14, 2019Updated 7 years ago
Alternatives and similar repositories for spectre-of-free-software
Users that are interested in spectre-of-free-software are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- methods for divination and predicting the future☆13Apr 8, 2021Updated 5 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆13Mar 5, 2018Updated 8 years ago
- Scala Cheat Sheet☆14Jun 3, 2017Updated 9 years ago
- Lagom at Stack Overflow AWS Lambda function☆18Nov 20, 2021Updated 4 years ago
- ☆22Dec 6, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017☆10Jul 14, 2017Updated 9 years ago
- Mastodon client based on Akka Streams.☆11Apr 16, 2017Updated 9 years ago
- Kylie is a blond and small Elixir client for Cayley graph data base☆12Apr 17, 2026Updated 6 months ago
- An example repo to show how to run tests with Karma runner using Chrome browser (with Xvfb) in Travis CI☆10Feb 8, 2018Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- Misc Erlang Tools☆10Dec 12, 2023Updated 2 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- Prototype of xml string interpolator for Scala.☆14Mar 28, 2019Updated 7 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 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.
- Wrap a Readable stream in a Transform stream.☆10Oct 9, 2026Updated last week
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 9 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Gigahorse plugin for Github API v3☆12Jun 24, 2018Updated 8 years ago
- Gulp plugin that prompts you to choose the files pass through the stream.☆10Apr 29, 2017Updated 9 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- An example django application deployment to k8s☆12Updated this week
- ☆46Jan 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Javascript package that helps to build wasm code by hand.☆15May 3, 2024Updated 2 years ago
- Resolve a directory that is either local, global or in the user's home directory.☆14Aug 5, 2017Updated 9 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- A small collection of scalacheck generators.☆16Aug 17, 2017Updated 9 years ago
- VFMD (Vanilla-Flavoured Markdown) parser for Reason☆13Sep 16, 2021Updated 5 years ago
- Code examples for my article "Scala Collections Tips and Tricks"☆24Apr 28, 2017Updated 9 years ago
- Reactive Reports - a framework developed in Scala, designed for generating reports from code.☆16Oct 26, 2020Updated 5 years ago
- An introductory workshop to learn Elm☆15Mar 23, 2018Updated 8 years ago
- small Scala veneer over JGit☆22Sep 17, 2025Updated last year
- 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.
- A Emacs major mode for editing Hack code☆15Feb 7, 2026Updated 8 months ago
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 2 months ago
- Example Fabulous app that uses MSAL to authenticate a user on Azure Active Directory☆11Dec 8, 2022Updated 3 years ago
- Reducción de la dimensionalidad en problemas de clasificación con Deep Learning: documentación y software asociado☆15Aug 3, 2017Updated 9 years ago
- A tunnel-boring library☆12Feb 24, 2018Updated 8 years ago
- ☆17Mar 25, 2023Updated 3 years ago
- Macros for node☆10Feb 8, 2012Updated 14 years ago