Beamer 中英文模板大合集
☆28Jul 22, 2019Updated 6 years ago
Alternatives and similar repositories for Awesome-Beamer-Collection
Users that are interested in Awesome-Beamer-Collection are comparing it to the libraries listed below
Sorting:
- Latex 中英文模板合集 第二部分☆27Jul 21, 2019Updated 6 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- MIT CADR original verilog and simulator☆17Jan 2, 2016Updated 10 years ago
- ☆21Mar 15, 2016Updated 10 years ago
- The official website of One Student One Chip project.☆11Feb 5, 2026Updated last month
- Unofficial mirror☆10Jul 13, 2017Updated 8 years ago
- A sample gl render engine toolkit.☆16Feb 9, 2026Updated last month
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- 渲染PostgreSQL/PostGIS中存储的空间数据的利器！☆11Apr 16, 2019Updated 6 years ago
- A simple graph type with data on the vertices and edges.☆13Updated this week
- ☆10Apr 6, 2023Updated 2 years ago
- cesium-dnd makes Cesium entities draggable with less code☆10Mar 14, 2026Updated last week
- Traffic simulation with the Cell Transmission Model (CTM)☆18Nov 18, 2021Updated 4 years ago
- ☆11May 30, 2024Updated last year
- python 后台连接postgis 返回矢量切片,前端mapboxgl加载显示 50万点数据，秒级显示☆12Oct 19, 2019Updated 6 years ago
- A City Selector Control for Mapbox GL JS☆16Feb 28, 2025Updated last year
- an implementation of ATOC☆14Dec 6, 2021Updated 4 years ago
- CINRAD雷达基数据处理☆10Jul 8, 2018Updated 7 years ago
- 🔧 最新的基于Cesium 1.95与Three 143的整合 示例☆11Jul 31, 2022Updated 3 years ago
- cesium三维js库学习☆12May 21, 2019Updated 6 years ago
- Use this template to create a Pagic site with the docs theme☆14Dec 11, 2020Updated 5 years ago
- ☆16Jun 30, 2019Updated 6 years ago
- 前后端技术，架构，运维，职业发展，沟通技巧☆14Jan 27, 2022Updated 4 years ago
- Common spatial analysis functions☆15Aug 27, 2021Updated 4 years ago
- [IJCAI 2021] Robust Adversarial Imitation Learning via Adaptively-Selected Demonstrations☆16Feb 17, 2023Updated 3 years ago
- Implementation of PILCO for the Model-Based Baselines Project☆18Jul 18, 2019Updated 6 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Mar 12, 2026Updated last week
- 将目前中国国内的互联网地图包装成WMS服务，并尝试对地图切片纠偏。☆16Dec 26, 2017Updated 8 years ago
- cesium + echarts☆12May 10, 2024Updated last year
- 基于 Postgresql 和 Postgis 的矢量瓦片免切片服务器，支持多坐标数据源，支持切片缓存。☆17May 31, 2022Updated 3 years ago
- This is the official repository for the paper "Guided Exploration with Proximal Policy Optimization using a Single Demonstration", https:…☆19Oct 5, 2021Updated 4 years ago
- PyTorch Implementation of COPA for coordinating teams that can dynamically change.☆22Apr 16, 2022Updated 3 years ago
- Modeling the allocation of resources to markets based on the restraints of objective functions☆14Mar 15, 2016Updated 10 years ago
- DRIP Asset Allocation is a collection of model libraries for MPT framework, Black Litterman Strategy Incorporator, Holdings Constraint, a…☆10Sep 26, 2018Updated 7 years ago
- ☆19Updated this week
- This repository contains the code and instructions for Arduino, Python, Streamlit, Machine Learning and more stuff!☆12Apr 8, 2024Updated last year
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- Toolbox for "A Solution Method for Continuous-Time General Equilibrium Models"☆10Sep 20, 2021Updated 4 years ago
- Create cesium terrain from raster tile，从栅格瓦片创建cesium地形☆14Apr 3, 2024Updated last year