Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jmlowenthal 5 repositories
jmlowenthal/staged-streams.agda
An implementation of the staged Strymonas streams library in Agda for C
Language: Haskell - Size: 309 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 8 - Forks: 1
jmlowenthal/agda-c
Verified C programming in Agda
Language: Agda - Size: 273 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 16 - Forks: 1
jmlowenthal/survey
Pathfinding and route-planning utilities for drone-based area surveying
Language: C++ - Size: 207 KB - Last synced: 5 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
jmlowenthal/progc 📦
Programming in C (2017–2018)
Language: C - Size: 195 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
jmlowenthal/tealight-files Fork of tealight/tealight-files
Master copy of the tealight-files repo forked into each user's github.
Language: Python - Size: 2.4 MB - Last synced: over 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0
jmlowenthal/idslib
A simple library to integrate IDS cameras into OpenCV
Language: C++ - Size: 3.91 KB - Last synced: over 1 year ago - Pushed: over 6 years ago - Stars: 7 - Forks: 6
jmlowenthal/routr
A hackathon game about firewalls and networking. Built at Hack Cambridge 101.
Language: TypeScript - Size: 565 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
jmlowenthal/agda-stdlib Fork of agda/agda-stdlib
The Agda standard library
Language: Agda - Size: 225 MB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
jmlowenthal/ocaml-cnf
OCaml implementation of CNF reduction and the DPLL method for predicate logic
Language: OCaml - Size: 5.86 KB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
jmlowenthal/node-md
A Markdown server written in NodeJS, supporting LaTeX math and other extensions.
Language: JavaScript - Size: 17.6 KB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
jmlowenthal/markdown-it-katex Fork of waylonflinn/markdown-it-katex
Add Math to your Markdown with a KaTeX plugin for Markdown-it
Language: JavaScript - Size: 191 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
jmlowenthal/global-illumination
Monte Carlo global illumination renderer
Language: C++ - Size: 3.93 MB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/barnes-hut
An implementation of the Barnes-Hut algorithm for efficient particle simulation.
Language: C++ - Size: 7.81 KB - Last synced: over 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/dokuwiki-katex
DokuWiki plugin - protects LaTeX math, then parses with KaTeX
Language: PHP - Size: 3.91 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 1
jmlowenthal/lidar-vision
Building detection in LIDAR data using OpenCV
Language: C++ - Size: 1000 Bytes - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0
jmlowenthal/php-wiki
A lightweight wiki system, supporting markdown/markdown-like syntax and LaTeX math
Language: PHP - Size: 38.1 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/CircuitSimulation
Logical circuit simulation framework
Language: C++ - Size: 11.7 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/AR-markers
OpenCV AR marker tracking
Language: C++ - Size: 3.91 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 1
jmlowenthal/flocking
Classic Boids simulation variant
Language: C++ - Size: 2.93 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/genetic
Genetic algorithm research
Language: C++ - Size: 1000 Bytes - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/hivemind
Simple illustration of collective intelligence
Language: C++ - Size: 1.95 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/distributed-particles
Parallelised particle simulation
Language: C++ - Size: 3.91 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/gfx
Graphics (2016-17)
Language: Java - Size: 14.1 MB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/prejava
Preparation for Computer Science (2016-17)
Language: Java - Size: 3.91 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/databases
Databases (2016-17)
Language: Java - Size: 1.95 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/scicomp
NST Scientific Computing
Language: Matlab - Size: 891 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/questions
Exam questions database front-end (A2 project)
Language: PHP - Size: 377 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/matrix
C++ matrix library
Language: C++ - Size: 2.93 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/focs
Foundations of Computer Science (2016-17)
Language: Standard ML - Size: 5.86 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/oop
Object-Oriented Programming (2016-17)
Language: Java - Size: 17.6 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/algo
Algorithms (2016-17)
Language: Java - Size: 8.79 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/mlrwd
Machine Learning and Real World Data (2016-17)
Language: Java - Size: 14.6 KB - Last synced: over 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/racetrack
PHP implementation of the pen and paper vector racing game
Language: PHP - Size: 11.7 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
jmlowenthal/hangman
A very simple hangman implementation is HTML and JS
Language: HTML - Size: 1.95 KB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0