Random C code about random stuff
☆16Mar 15, 2021Updated 5 years ago
Alternatives and similar repositories for Raw
Users that are interested in Raw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- Runs magit in a light emacs install☆11Sep 8, 2019Updated 6 years ago
- A simple JIT library in Rust☆19Dec 7, 2014Updated 11 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Alice ML implementation☆17Nov 25, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- FSharp Support for K☆18Dec 1, 2023Updated 2 years ago
- A clean, Markdown-based publishing platform made for writers. Write together and build a community.☆13Oct 18, 2023Updated 2 years ago
- Implementation of the glicko2 rating system in Rust☆11Nov 8, 2024Updated last year
- ☆13May 16, 2016Updated 10 years ago
- CHIP-8 Virtual machine implemented in haskell for the Great Code Club☆16Jul 8, 2014Updated 12 years ago
- Lua extension library — Small bits of code that make writing Lua/C modules easier☆18Jan 7, 2016Updated 10 years ago
- An OS written in Idris (eventually...)☆20Mar 4, 2015Updated 11 years ago
- Stupid EU legal compliance in one (long) line of JavaScript☆18Sep 25, 2014Updated 11 years ago
- Seamlessly call Java class libraries from C++. An abstraction to JNI.☆34Jul 15, 2014Updated 12 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.
- Halflife is now a part of Reactor, and is available under Reactor Pipe☆16Feb 26, 2016Updated 10 years ago
- An old tutorial for using `Effects` in Idris.☆24Sep 10, 2015Updated 10 years ago
- ☆19Oct 7, 2017Updated 8 years ago
- A capture-the-flag exercise based on data analysis challenges☆19Jan 30, 2020Updated 6 years ago
- FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code gener…☆30Nov 21, 2020Updated 5 years ago
- Timing attack resistant type systems☆25May 13, 2015Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A variation on Deep Belief Networks that allows labels to be used in pretraining. The application is tracing tongue surface contours from…☆24Jan 22, 2013Updated 13 years ago
- Enhanced Fork-Based Parallelization for R☆17Jul 2, 2026Updated last month
- 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.
- Command line tool to delete cabal library packages☆24Mar 21, 2015Updated 11 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Nov 14, 2018Updated 7 years ago
- playing with recurrent neural networks☆29Sep 30, 2015Updated 10 years ago
- A toolkit for creating SCTP servers and clients☆23May 8, 2022Updated 4 years ago
- LESS and CoffeeScript HTTP handlers for ASP.NET web sites☆17Feb 5, 2014Updated 12 years ago
- IDE backend for Julia☆27Dec 8, 2015Updated 10 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- Made on rainy summer days☆11Nov 4, 2022Updated 3 years ago
- Use nightli.es to rebuild N docker images on hub.docker.com☆15Oct 22, 2018Updated 7 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.
- Comptime-first ANSI colors and configurable terminal text styling for Zig.☆25Aug 1, 2026Updated last week
- A console-based BMS player.☆16Nov 27, 2019Updated 6 years ago
- Code to do data processing and create figures for "The geography of recent genetic ancestry across Europe", http://arxiv.org/abs/1207.381…☆15May 26, 2014Updated 12 years ago
- A guide to help train someone with backend development using the Go programming language.☆18Apr 6, 2022Updated 4 years ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- C# to Scala Converter☆21Jun 27, 2026Updated last month