Completed MIT OCW 18.01SC
☆48Jun 27, 2021Updated 4 years ago
Alternatives and similar repositories for 18.01SC-Single-Variable-Calculus
Users that are interested in 18.01SC-Single-Variable-Calculus are comparing it to the libraries listed below
Sorting:
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- constexpr char array concatenation, car_cat collection☆10Jan 17, 2018Updated 8 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 5 years ago
- An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more☆12Aug 7, 2024Updated last year
- various toys in j☆12Apr 13, 2022Updated 3 years ago
- ☆15Dec 31, 2022Updated 3 years ago
- Arduino DUE Multitrack MIDI Looper☆11Jan 20, 2020Updated 6 years ago
- Extreme Learning Machine in J☆12May 16, 2019Updated 6 years ago
- OpenAudio - Contents of Blog☆18Sep 4, 2024Updated last year
- Fast extraction of all external links from wikipedia☆13Sep 22, 2018Updated 7 years ago
- load .RAW audio samples to teensy 4.1 built-in flash from microSD card☆14Jan 17, 2024Updated 2 years ago
- J add-on for Apache Arrow, Parquet, CSV, & JSON☆11Aug 20, 2025Updated 6 months ago
- ANT+ Cycling Training on RPi☆12Dec 30, 2020Updated 5 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- A C interpreter for Paul Graham's Arc dialect of Lisp☆28Jan 1, 2024Updated 2 years ago
- Teensy brain for MIDI, USB-MIDI and Eurorack integration☆14Feb 22, 2026Updated last week
- A final year project of my Bachelor in Electronics and Communication Engineering☆17Sep 30, 2022Updated 3 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- dynamic melody sequencer☆16Apr 29, 2022Updated 3 years ago
- 👨💻 This repository contains the solutions and explanations to the algorithm problems on LintCode. All are written in Python/Java/C++ a…☆17Feb 26, 2020Updated 6 years ago
- Kicad project for the Silver open-source, long-range camera remote control☆18Aug 19, 2019Updated 6 years ago
- Various demo and test programs☆19Dec 2, 2025Updated 3 months ago
- ☆16Sep 5, 2025Updated 5 months ago
- A utility to read Qlik QVD file format.☆15Sep 20, 2019Updated 6 years ago
- Intlog - a Prolog interpreter with OO extensions - implemented in C++☆21Feb 4, 2023Updated 3 years ago
- ☆18Aug 10, 2013Updated 12 years ago
- CIS 6700, Spring 2023☆18Feb 15, 2023Updated 3 years ago
- The watch, The hack (just for a while)☆65Jun 24, 2013Updated 12 years ago
- A grid-based midi instrument, with accelerometer and gyroscope for playful interactions☆19Apr 1, 2017Updated 8 years ago
- A concise programming language that is fun to use☆16Dec 24, 2015Updated 10 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- C++万能客户端。Http Client、Redis Client、MySQL Client、Kafka Client。极致高性能。线程安全、自带连接池、自带线程池。全异步工作模式，支持异步回调、半同步future、同步等待三套接口。可以模仿现有client开发自定义协议。☆17Aug 6, 2020Updated 5 years ago
- Analyze your gait for health disorders at the comfort of your home in your own personal computer.☆21Nov 20, 2023Updated 2 years ago
- ☆19Mar 17, 2023Updated 2 years ago
- Minimal 32bit x86 Preemptive Multitasking Example☆16Jul 27, 2024Updated last year
- Sample code for deploying R model for real-time scoring on Azure☆19May 3, 2020Updated 5 years ago
- OLOS very simple 8086 16 bits real mode Operating System. Video: https://youtu.be/1JLP6ebvnU0☆20Dec 28, 2018Updated 7 years ago
- ☆20Nov 5, 2025Updated 3 months ago
- SWI-Prolog binding for the OpenGL, GLU and GLUT libraries☆20May 3, 2022Updated 3 years ago