体育馆场地预约
☆20Feb 10, 2021Updated 5 years ago
Alternatives and similar repositories for gym_place_order
Users that are interested in gym_place_order are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- P2P实现，使用UDP打洞建立对等网络实例☆12Nov 29, 2017Updated 8 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆14Apr 30, 2022Updated 4 years ago
- The code for tuning Spiking Neural Network based on Biologically-plausible Reward Propagation☆11Nov 23, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Convolutional 3D Spiking Neural Network to classify videos☆14May 29, 2017Updated 9 years ago
- Implementation of CarSNN: An Efficient Spiking Neural Network for Event-Based Autonomous Cars on the Loihi Neuromorphi☆16Aug 4, 2021Updated 5 years ago
- Reinforcement learning with a network of spiking agents☆22Jun 8, 2020Updated 6 years ago
- Implementation for "An Approximation of the Error Backpropagation Algorithm in a Predictive Coding Network with Local Hebbian Synaptic Pl…☆16Oct 10, 2018Updated 8 years ago
- ☆13Oct 1, 2020Updated 6 years ago
- Human Action (Hand Gestures) Recognition with Spiking Neural Network☆20Jun 30, 2026Updated 4 months ago
- Convolutional spiking neural network implementing STDP☆22Nov 2, 2022Updated 4 years ago
- Feedforward spiking neural network has been trained with SpikeProp algorithm☆22Feb 6, 2018Updated 8 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🌈Java-web课程项目：场地预约管理系统☆61Sep 21, 2022Updated 4 years ago
- This repo is the implementation of the spatio-temporal credit assignment （STCA） algorithm for training deep spiking neural networks.☆27Aug 7, 2019Updated 7 years ago
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- My Blog☆18Oct 17, 2026Updated 2 weeks ago
- ☆30Dec 8, 2020Updated 5 years ago
- compilers for arithmetic circuits☆14May 17, 2021Updated 5 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Plugin for Sinabs, implementing the EXODUS algorithm for training SNNs efficiently with BPTT☆32Apr 8, 2025Updated last year
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- udp-nat-traversal 用UDP实现的NAT穿越☆44Jun 13, 2017Updated 9 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees☆10Nov 4, 2024Updated 2 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- Matlab code for a Spiking Neural Network for Visual Motion Estimation☆25Jun 14, 2019Updated 7 years ago
- A linearizability checker for concurrent data structures☆13Aug 3, 2023Updated 3 years ago
- Play with LLaMA & GPT-3!☆10May 29, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- A simple BLIF (berkeley logic interchange format) parser☆11Dec 11, 2023Updated 2 years ago
- STBP is a way to train SNN with datasets by Backward propagation.Using this Repositories allows you to train SNNS with STBP and quantize …☆30Feb 3, 2022Updated 4 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- A Preprocessor for Verilog HDL written in C++☆11May 26, 2012Updated 14 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago