Alternatives and similar repositories for miniml

Users that are interested in miniml are comparing it to the libraries listed below

• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆10Aug 28, 2019Updated 6 years ago
• firebreath / irc-logviewer

  View on GitHub
  IRC log viewer by iain collins
  ☆21Feb 5, 2011Updated 15 years ago
• contradictioned / mips-syntax

  View on GitHub
  MIPS syntax highlightning package for sublime text 2
  ☆13May 14, 2018Updated 7 years ago
• parthibanloganathan / coffeecu

  View on GitHub
  Coffee at Columbia
  ☆11Apr 30, 2016Updated 9 years ago
• mcclure / ppx_const

  View on GitHub
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Nov 20, 2020Updated 5 years ago
• utdb / judged

  View on GitHub
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Nov 7, 2019Updated 6 years ago
• daylen / elevate

  View on GitHub
  Online health & fitness dashboard for Fitbit, Jawbone, and Strava
  ☆25Dec 22, 2016Updated 9 years ago
• vneogi199 / Phishing-detection-using-data-mining-Python

  View on GitHub
  A Chrome Extension that detects Phishing Websites and alerts the user regarding the same.
  ☆11Jun 23, 2019Updated 6 years ago
• oskibear2015 / berkeleyeecs

  View on GitHub
  eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs eecs ee…
  ☆31Mar 11, 2017Updated 8 years ago
• CloudBrigade / cloudbrigade-deepblaster

  View on GitHub
  ☆10Apr 27, 2021Updated 4 years ago
• Eniac-Xie / FuseTeacher

  View on GitHub
  ☆12Nov 26, 2024Updated last year
• github / libgit2sharp

  View on GitHub
  Git + .Net/Mono = ❤
  ☆11Mar 22, 2016Updated 9 years ago
• F1R3FLY-io / f1r3node

  View on GitHub
  ☆14Updated this week
• c9 / c9.ide.run.debug

  View on GitHub
  The repository for c9.ide.run.debug, a Cloud9 core plugin
  ☆13Jun 21, 2018Updated 7 years ago
• AndrianBdn / GVR-SceneKit

  View on GitHub
  Example of iOS SceneKit + Google VR SDK app
  ☆36Jan 18, 2018Updated 8 years ago
• FlexMonkey / GestureRecognizer

  View on GitHub
  Demo of custom UIGestureRecognizer
  ☆11Apr 12, 2015Updated 10 years ago
• mongodb / docs-assets

  View on GitHub
  Documentation Assets
  ☆12Jul 5, 2023Updated 2 years ago
• paccionesawyer / Create3_ROS2_Intro

  View on GitHub
  A step-by-step introduction to ROS2 on the Create3.
  ☆10May 20, 2022Updated 3 years ago
• rawls238 / Bandits.jl

  View on GitHub
  Implementation of multi-armed bandits in Julia
  ☆12Jan 12, 2020Updated 6 years ago
• cancan101 / h.264-cuda

  View on GitHub
  ☆25Apr 10, 2019Updated 6 years ago
• kolya-vasiliev / logical-foundations-2018

  View on GitHub
  My solutions to exercises in "Logical Foundations" (2018-2019)
  ☆11Apr 11, 2019Updated 6 years ago
• Parrot-Developers / groundsdk-manifest

  View on GitHub
  This is the global manifest for Parrot Ground SDK.
  ☆11Jun 6, 2023Updated 2 years ago
• RameshMF / java-exceptions-guide

  View on GitHub
  Guide to Java Exceptions Handling
  ☆15Aug 22, 2018Updated 7 years ago
• baconpaul / composition-kit

  View on GitHub
  My hopelessly idiosyncratic music software
  ☆11Aug 18, 2018Updated 7 years ago
• MadScripter / CloudConvert-.NET-Wrapper

  View on GitHub
  A .NET wrapper for CloudConvert's API.
  ☆19Dec 11, 2017Updated 8 years ago
• spinnaker / rush

  View on GitHub
  Script Execution service
  ☆12Nov 21, 2016Updated 9 years ago
• DumbDuck / VecodeKit

  View on GitHub
  ☆11Aug 25, 2018Updated 7 years ago
• gurmitteotia / guflow

  View on GitHub
  A C#.NET library to write scalable and elastic workflows in AWS cloud.
  ☆13Dec 8, 2022Updated 3 years ago
• aaronang / tiger

  View on GitHub
  Solutions to Modern Compiler Implementation in ML 🐯
  ☆10May 24, 2017Updated 8 years ago
• eugenebokhan / metal-3d-text

  View on GitHub
  Render 3D text and svg with Metal
  ☆13Oct 28, 2018Updated 7 years ago
• damianof / large-scale-apps-my-svelte-project

  View on GitHub
  ☆11Nov 3, 2023Updated 2 years ago
• cellularmitosis / GridNotes

  View on GitHub
  A piano with a grid layout (iOS)
  ☆12Jan 22, 2025Updated last year
• sorah / hocho

  View on GitHub
  Hocho: Run Itamae easily with host inventory
  ☆42Apr 23, 2024Updated last year
• cookpad / guard_against_physical_delete

  View on GitHub
  guard_against_physical_delete is monkey patch for ActiveRecord. This patch prevent deleting record physically.
  ☆19Jun 16, 2022Updated 3 years ago
• sgmackie / Polar

  View on GitHub
  Audio engine for CUDA processing (Windows/Linux)
  ☆13Nov 9, 2019Updated 6 years ago
• ooper-shlab / MetalBasic3D-Swift

  View on GitHub
  A translation of Apple's sample code MetalBasic3D into Swift
  ☆11Apr 20, 2019Updated 6 years ago
• SharpCoder / rust-kernel

  View on GitHub
  A rust operating system for the ARM V7-A running on a beaglebone black
  ☆12Mar 11, 2021Updated 4 years ago
• ccoenraets / phonegap-workshop-jquk2014

  View on GitHub
  ☆21Jun 30, 2014Updated 11 years ago
• regro / libcflib

  View on GitHub
  Library Conda Forge Library
  ☆12Oct 29, 2023Updated 2 years ago