|
|
Python |
9 |
Cone application stack |
Mar 13, 2022 |
|
|
Python |
2 |
cone zodb integration |
Oct 21, 2021 |
|
|
TeX |
2 |
Simple Cone Search |
Jan 21, 2021 |
|
|
C# |
2 |
Double Cone Rain |
Sep 24, 2022 |
|
|
JavaScript |
2 |
Fork of Cone |
Oct 01, 2023 |
|
|
Python |
2 |
Media Database for cone |
Jun 30, 2021 |
|
|
Python |
59 |
Differentiation through cone programs |
Aug 12, 2022 |
|
|
Rust |
2 |
Voxel Cone Tracing implementation |
Mar 04, 2023 |
|
|
Python |
127 |
The Cone of Silence: |
May 18, 2023 |
|
|
C |
2 |
C Program made for learning purpose made to calculate the surface area and volume for … |
Feb 24, 2023 |
|
|
JavaScript |
75 |
Marcrodata Refinement |
May 24, 2022 |
|
|
C++ |
2 |
Real-time Voxel Cone Tracing |
Jan 26, 2022 |
|
|
Julia |
8 |
Entropic Cone approximation and optimization |
Oct 03, 2021 |
|
|
C++ |
2 |
emulate filterting of Cone NAT |
Apr 28, 2015 |
|
|
C# |
29 |
View Cone, Field of View, Sight Cone - done with custom Shadow Mapping in Unity … |
Mar 28, 2023 |
|
|
Python |
2 |
SNS Refinement Workflow |
Nov 02, 2017 |
|
|
JavaScript |
75 |
Iterative mesh refinement |
Jun 29, 2022 |
|
|
Python |
92 |
States Refinement LSTM |
Apr 27, 2023 |
|
|
C++ |
8 |
Mobile Implementation of Voxel Cone Tracing |
Jul 15, 2022 |
|
|
Python |
2 |
User and group management with cone |
Nov 08, 2021 |
|
|
Python |
14 |
Solver for sparse matrix cone programs |
Jan 31, 2023 |
|
|
None |
2 |
Traffic Cone Image Dataset for YOLO |
Apr 23, 2024 |
|
|
Python |
24 |
Code to solve a second-order cone program as a convex relaxation of the range-only SLAM … |
May 15, 2023 |
|
|
Rust |
226 |
Refinement Types for Rust |
Dec 01, 2022 |
|
|
Scala |
2 |
The RDE Refinement Finder. |
Feb 23, 2023 |
|
|
C |
2 |
Adaptive mesh refinement solvers |
Apr 12, 2023 |
|
|
XSLT |
18 |
MEI Lilypond Engraving Refinement |
Jun 14, 2022 |
|
|
HTML |
15 |
refinement types for Elm |
Sep 14, 2022 |
|
|
PureScript |
9 |
Refinement types for PureScript |
Jan 31, 2023 |
|
|
Python |
7 |
Refinement types for Python |
May 21, 2023 |
|
|
Standard ML |
225 |
The People's Refinement Logic |
Apr 02, 2023 |
|
|
None |
4 |
Refinement Types for Rust |
May 01, 2023 |
|
|
Idris |
2 |
Refinement types for Idris2 |
Jul 19, 2023 |
|
|
Coq |
3 |
Refinement-Based Game Semantics |
Jan 17, 2022 |
|
|
Scala |
1617 |
Refinement types for Scala |
May 28, 2023 |
|
|
JavaScript |
3 |
This project is a cone of netflix |
Apr 01, 2022 |
|
|
None |
2 |
为nftables实现Full-cone NAT |
Dec 20, 2023 |
|
|
C |
3 |
Real Time Global Illumination With Voxel Cone Tracing |
Jun 17, 2022 |
|
|
Python |
37 |
A Newton ADMM based solver for Cone programming. |
Dec 27, 2022 |
|
|
JavaScript |
8 |
A JavaScript code to generate a cone shape |
Aug 16, 2021 |
|
|
None |
7 |
A collapsed-cone convolution radiotherapy dose calculation algorithm |
Feb 05, 2023 |
|
|
C++ |
2 |
An example cone using the native Gazebo SonarSensor |
Mar 13, 2023 |
|
|
C++ |
66 |
Cell-Based Adaptive Mesh Refinement |
Aug 04, 2022 |
|
|
Python |
3 |
Adaptive refinement of simplical meshes |
Jun 04, 2021 |
|
|
Haskell |
169 |
Refinement types with static checking |
Aug 22, 2022 |
|
|
Jupyter Notebook |
4 |
LiberTEM correlation and refinement library |
Feb 01, 2023 |
|
|
JavaScript |
6 |
Introductory Tutorial on Refinement Types |
Feb 21, 2022 |
|
|
Java |
2 |
Model-driven Composition & Refinement (Framework) |
Feb 03, 2023 |
|
|
Haskell |
61 |
Refinement Types for Scripting Languages |
Mar 16, 2023 |
|
|
C++ |
15 |
cone detection, lidar camera fusion, middleline, autonomous driving, ROS |
Aug 09, 2022 |