haldai

haldai's Stars

• dusty-nv/jetson-containers

  Machine Learning Containers for NVIDIA Jetson and JetPack-L4T

  Language:Jupyter Notebook2.4k489

• IntelRealSense/realsense-ros

  ROS Wrapper for Intel(R) RealSense(TM) Cameras

  Language:Python2.6k1.8k

• dusty-nv/jetbot_ros

  ROS nodes and Gazebo model for NVIDIA JetBot with Jetson Nano

  Language:Python384183

• dusty-nv/ros_deep_learning

  Deep learning inference nodes for ROS / ROS2 with support for NVIDIA Jetson and TensorRT

  Language:C++907259

• nl8590687/ASRT_SpeechRecognition

  A Deep-Learning-Based Chinese Speech Recognition System 基于深度学习的中文语音识别系统

  Language:Python7.9k1.9k

• femtomc/Problox.jl

  The world is everything that is the case.

  Language:Julia81

• sdlpal/sdlpal

  SDL-based reimplementation of the classic Chinese-language RPG known as PAL.

  Language:C1.8k357

• TuringLang/Turing.jl

  Bayesian inference with probabilistic programming.

  Language:Julia2.1k219

• ztangent/Julog.jl

  A Julia package for Prolog-style logic programming.

  Language:Julia17111

• IBM/RuDaS

  RuDaS: Synthetic Datasets for Rule Learning

  Language:NewLisp188

• LAMDA-NJU/Deep-Forest

  An Efficient, Scalable and Optimized Python Framework for Deep Forest (2021.2.1)

  Language:Python929162

• azreasoners/NeurASP

  Language:Python4120

• fniessen/org-html-themes

  Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

  Language:CSS2.2k435

• sebdumancic/loreleai

  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis

  Language:Python234

• scarsty/kys-cpp

  《金庸群侠传》c++复刻版，已完工

  Language:C++2.6k376

• DogLooksGood/emacs-rime

  RIME ㄓ in Emacs

  Language:Emacs Lisp48168

• SciML/DifferentialEquations.jl

  Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equations (SDEs), delay differential equations (DDEs), differential-algebraic equations (DAEs), and more in Julia.

  Language:Julia2.9k231

• remacs/remacs

  Rust :heart: Emacs

  Language:Emacs Lisp4.6k307

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2.1k126

• norvig/paip-lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

  Language:Common Lisp7.2k703

• SJ001/AI-Feynman

  Language:Python648195

• praveenkulkarni1996/awesome-program-synthesis

  An curated list of papers on program synthesis.

  673

• VFansss/mgs2-v-s-fix

  Unofficial fix for PC version of Metal Gear Solid 2

  Language:C#57023

• ahumenberger/Z3.jl

  Julia interface to Z3

  Language:Julia609

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1.5k

• fchollet/ARC-AGI

  The Abstraction and Reasoning Corpus

  Language:JavaScript3.7k601

• potassco/guide

  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.

  Language:TeX7613

• ch11ng/exwm

  Emacs X Window Manager

  2.9k134

• huseinzol05/Stock-Prediction-Models

  Gathers machine learning and deep learning models for Stock forecasting including trading bots and simulations

  Language:Jupyter Notebook8.2k2.9k

• microsoft/computervision-recipes

  Best Practices, code samples, and documentation for Computer Vision.

  Language:Jupyter Notebook9.6k1.2k