ForgetMeNotA flashcard app for Android.
Stars: ✭ 234 (+67.14%)
FluentSimulatorA fluent syntax .NET REST/HTTP API simulator for automated unit and UI testing.
Stars: ✭ 23 (-83.57%)
open-electronics📚 💻 Great Resources for Electronics Enthusiasts
Stars: ✭ 347 (+147.86%)
opendcCollaborative Datacenter Simulation and Exploration for Everybody
Stars: ✭ 40 (-71.43%)
canvas-tui🏫 🔅 A terminal interface for Canvas LMS
Stars: ✭ 29 (-79.29%)
WerkHigh-throughput / low-latency C++ application framework
Stars: ✭ 30 (-78.57%)
xefisQt-based EFIS and EICAS
Stars: ✭ 19 (-86.43%)
DesignSPHysicsModule for FreeCAD intended to use with DualSPHysics fluid simulator.
Stars: ✭ 65 (-53.57%)
WebRISC-VWebRISC-V: A Web-Based Education-Oriented RISC-V Pipeline Simulation Environment [PHP]
Stars: ✭ 74 (-47.14%)
SwiftSimctlSwift client-server tool to call xcrun simctl from your simulator. Automate push notification testing!
Stars: ✭ 50 (-64.29%)
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-87.14%)
Awesome-Neural-LogicAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (-24.29%)
Game-Boy-Color-USB-C-charging-kitThis project contains the files for making an electronic board that allows to charge a Nintendo Game Boy Color by USB-C.
Stars: ✭ 31 (-77.86%)
rcj-soccer-simThe RoboCupJunior Soccer Simulator, based on Webots
Stars: ✭ 16 (-88.57%)
nunchakuModel finder for higher-order logic
Stars: ✭ 40 (-71.43%)
school-navigatorNavigate the Durham, NC public school system
Stars: ✭ 25 (-82.14%)
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (-77.86%)
Finches-2011Repository for Finch code written by new Software Engineering members
Stars: ✭ 16 (-88.57%)
switchSwitch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.
Stars: ✭ 22 (-84.29%)
awesome-courseCreate awesome courses that let your audience learn by coding ⌨️
Stars: ✭ 224 (+60%)
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (-81.43%)
node-ngspiceA frontend for NgSpice. (Archived and no longer maintained)
Stars: ✭ 23 (-83.57%)
rp2040jsA Raspberry Pi Pico Emulator in JavaScript
Stars: ✭ 178 (+27.14%)
job4jeducational project 🎓
Stars: ✭ 21 (-85%)
ad-xolibC++ library for Parsing OpenScenario (1.1.1) & OpenDrive files (1.7) ASAM Specifications
Stars: ✭ 56 (-60%)
PandExoA Community Tool for Transiting Exoplanet Science with the JWST & HST
Stars: ✭ 23 (-83.57%)
NanoSimNanopore sequence read simulator
Stars: ✭ 156 (+11.43%)
frontendIlios Frontend
Stars: ✭ 26 (-81.43%)
nana-creatorNana Creator - a RAD tool for (and built with) Nana C++ Library
Stars: ✭ 83 (-40.71%)
graspitThe GraspIt! simulator
Stars: ✭ 142 (+1.43%)
navdatareaderNavdatareader is a command line tool that uses the atools fs/bgl and fs/writer to store a full flight simulator scenery database into a relational database like Sqlite or MySql.
Stars: ✭ 35 (-75%)
CarND-Path-PlanningHighway driving at 50 mph with traffic using A* for path planning.
Stars: ✭ 18 (-87.14%)
simple-playgroundsSimulator for Reinforcement Learning and AI. 2D environments with physics and interactive entities. Agents with rich sensors and actuators.
Stars: ✭ 18 (-87.14%)
community-projectsWebots projects (PROTO files, controllers, simulation worlds, etc.) contributed by the community.
Stars: ✭ 20 (-85.71%)
mano-simulator🖥️ An assembler and hardware simulator for the Mano Basic Computer, a 16 bit computer.
Stars: ✭ 20 (-85.71%)
maxwellMaxwell Circuit Simulator
Stars: ✭ 27 (-80.71%)
door-controller-test-toolDoor controller test tool for physical access control devices. (THIS PROJECT IS NO LONGER MAINTAINED)
Stars: ✭ 13 (-90.71%)
sst-macroSST Macro Element Library
Stars: ✭ 21 (-85%)
Awesome Python Scripts🚀 Curated collection of Awesome Python Scripts which will make you go wow. Dive into this world of 360+ scripts. Feel free to contribute. Show your support by ✨this repository.
Stars: ✭ 198 (+41.43%)
stupidbThe stupidest database of all time.
Stars: ✭ 46 (-67.14%)
platformDecentralized Education 4.0 platform
Stars: ✭ 22 (-84.29%)
AAG-Visualizer🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
Stars: ✭ 95 (-32.14%)
truth-table-generatortruth-table-generator is a tool that allows to generate a truth table
Stars: ✭ 47 (-66.43%)
designable🧩 Make everything designable 🧩
Stars: ✭ 2,156 (+1440%)
Tricky68kMotorola 68000 simulator for Mac OS X
Stars: ✭ 42 (-70%)
quackleQuackle crossword game artificial intelligence and analysis tool
Stars: ✭ 126 (-10%)
ML-For-Beginners12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
Stars: ✭ 40,023 (+28487.86%)
dice-simulatorA Python simple Dice Simulator just for fun
Stars: ✭ 17 (-87.86%)
AnythingDigital asset organizing tool for creators.
Stars: ✭ 19 (-86.43%)
name-needed🕹 A one man effort to produce an open source, intuitive and high performance Dwarf Fortress-esque game. Needs a name.
Stars: ✭ 87 (-37.86%)
EdgeSimSimulate the real environment, perform edge computing, edge caching experiments
Stars: ✭ 53 (-62.14%)
desimA discrete-time events simulation framework, written in rust, using the generator experimental feature
Stars: ✭ 27 (-80.71%)