An IDE for JavaScript, without the "bad parts".
☆29Jun 16, 2023Updated 2 years ago
Alternatives and similar repositories for Ocelot
Users that are interested in Ocelot are comparing it to the libraries listed below
Sorting:
- ☆18Updated this week
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- A handful of potentially useful crap for Standard ML☆21Sep 11, 2017Updated 8 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 10 years ago
- An environment for experiments and education in artificial intelligence and artificial life.☆37Jan 9, 2022Updated 4 years ago
- ESP32 port of the existing TeslaBMS program☆10Jun 12, 2023Updated 2 years ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Documentation sources for syslog-ng Open Source Edition (https://github.com/syslog-ng/syslog-ng)☆10May 6, 2024Updated last year
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- jQuery crossword plugin☆10Oct 2, 2015Updated 10 years ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated last year
- Julia implementation of NEAT and HyperNEAT☆10Sep 3, 2020Updated 5 years ago
- ☆12Updated this week
- Python 3 script for analyzing Apama correlator log files and extracting useful diagnostic information☆13Jan 27, 2025Updated last year
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 10 years ago
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- Calling a python function from SV, then have this python function call SV tasks. Useful for coding register sequences in python☆11Sep 23, 2022Updated 3 years ago
- ☆10Oct 15, 2016Updated 9 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- ☆12May 27, 2020Updated 5 years ago
- Navigate headings and keywords provided by navi-mode and outshine using Helm☆11May 17, 2023Updated 2 years ago
- first attempt at description2code from 2016☆10Nov 15, 2018Updated 7 years ago
- A human data language☆14May 8, 2014Updated 11 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler. Issues are managed on our own bug…☆10Feb 25, 2026Updated last week
- 🔮 MacOS menu bar app to see prices of ASA pairs from Tinyman.org 👀☆12Feb 23, 2026Updated last week
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Mar 21, 2019Updated 6 years ago
- 🌅 A Python script to set the desktop background to the top rated image of a given subreddit☆10Dec 15, 2020Updated 5 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- A basic parser for ELB access logs, strongly inspired by node-clf-parser https://github.com/jfhbrook/node-clf-parser☆11Aug 3, 2018Updated 7 years ago
- ALife Art "BlindPainter"☆10Feb 5, 2024Updated 2 years ago
- ☆11Jul 19, 2023Updated 2 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Mar 27, 2020Updated 5 years ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 13 years ago
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- 🤖 A list of latest AGI-related repos, resources and courses including LLMs and AI Agents.☆13Sep 24, 2024Updated last year
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago