verifierlife

verifierlife's Stars

• samarjit98/Neural-Network-C

  A simple neural network coded from scratch in C.

  Language:C6

• tky823/Neural_Network_in_C

  Neural Network in C

  Language:C55

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java17944

• traintastic/traintastic

  Model railroad control and automation software

  Language:C++629

• a-synchronous/rubico

  [a]synchronous functional programming

  Language:JavaScript27115

• verifierlife/jkind

  JKind - An infinite-state model checker for safety properties in Lustre

  1

• YSOcean/ITBook

  5919

• loonwerks/jkind

  JKind - An infinite-state model checker for safety properties in Lustre

  Language:Java5232

• parrt/antlr4

  Language:Java309

• utwente-fmt/ltsmin

  The LTSmin model checking toolset

  Language:C5230

• halfrost/LeetCode-Go

  ✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解

  Language:Go32.7k5.7k

• zxjzxj9/PyTorchIntroduction

  《深入浅出 PyTorch——从模型到源码》源代码和勘误（见Issues）

  Language:Python326104

• wcventure/Active-Automata-Learning

  A Quick Research of Active Automata Learning

  214

• Leslieaj/OTALearning

  Learning one-clock timed automata

  Language:Python71

• gbossert/pylstar

  An implementation of the LSTAR Grammatical Inference Algorithm

  Language:Python4914

• ashiato45/angluin-automata-learning

  An implementation of Angluin's automata learning method

  Language:Jupyter Notebook93

• Leslieaj/RTALearning

  Learning real-time automata

  Language:Mathematica6

• pingcap/tidb

  TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

  Language:Go36.9k5.8k

• Dod-o/Statistical-Learning-Method_Code

  手写实现李航《统计学习方法》书中全部算法

  Language:Python11k2.9k

• spencer-project/spencer_people_tracking

  Multi-modal ROS-based people detection and tracking framework for mobile robots developed within the context of the EU FP7 project SPENCER.

  Language:C++663327

• cvar-upm/cvg_ardrone2_ibvs

  Vision based control for object following in UAVs

  Language:Shell8546

• prismmodelchecker/prism

  The main development version of the PRISM model checker.

  Language:Java15369

• iadityak/resume-parser

  A java Spring Boot Resume Parser using GATE library.

  Language:Java3728

• Raysmond/SpringBlog

  A simple blogging system implemented with Spring Boot + Hibernate + MySQL + Bootstrap4.

  Language:Java1.6k686

• johnyf/tool_lists

  Links to tools by subject

  36681

• LightBDD/LightBDD

  BDD framework allowing to create easy to read and maintain tests.

  Language:C#34441

• AtsushiSakai/PythonRobotics

  Python sample codes for robotics algorithms.

  Language:Python22.7k6.5k

• osrf/gazebo_models

  Gazebo database of SDF models. This is a predecessor to https://app.gazebosim.org

  Language:HTML851931

• MathOnco/HAL

  HAL (Hybrid Automata Library) is the one-stop shop for all of your hybrid modeling needs

  Language:Java3712

• EvanBalster/STL_mono_wedge

  STL-Compatible Lemire-Fenn algorithm for running min/max

  Language:C++263