- Earth
Highlights
-
scryer-prolog Public
Forked from mthom/scryer-prologA modern Prolog implementation written mostly in Rust.
Rust BSD 3-Clause "New" or "Revised" License UpdatedSep 19, 2024 -
everparse Public
Forked from project-everest/everparseAutomated generation of provably secure, zero-copy parsers from format specifications
F* Apache License 2.0 UpdatedAug 23, 2024 -
clamav Public
Forked from Cisco-Talos/clamavClamAV - Documentation is here: https://docs.clamav.net
C GNU General Public License v2.0 UpdatedJul 16, 2024 -
differential-dataflow Public
Forked from TimelyDataflow/differential-dataflowAn implementation of differential dataflow using timely dataflow on Rust.
Rust MIT License UpdatedJul 8, 2024 -
-
The Core Flight System (cFS)
CMake Apache License 2.0 UpdatedMay 21, 2024 -
droneDSL Public
Forked from xianglic/droneDSLDomain Specific Language for drone automated flight mission
Java GNU General Public License v3.0 UpdatedMay 7, 2024 -
-
timely-dataflow Public
Forked from TimelyDataflow/timely-dataflowA modular implementation of timely dataflow in Rust
Rust MIT License UpdatedMar 27, 2024 -
org.alloytools.alloy Public
Forked from AlloyTools/org.alloytools.alloyAlloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Java Other UpdatedMar 19, 2024 -
cmu-soda.github.io Public
Forked from cmu-soda/cmu-soda.github.ioSoda lab website
SCSS UpdatedMar 13, 2024 -
-
ttc2018liveContest Public
Forked from TransformationToolContest/ttc2018liveContestThe repository for the TTC 2018 Live Contest
Java MIT License UpdatedDec 6, 2023 -
ArduPilot-Modes Public
Forked from VUISIS/ArduPilot-ModesArdupilot applications that use modes and mode-grouping
Python UpdatedOct 3, 2023 -
ardupilot Public
Forked from VUISIS/ardupilotArduPlane, ArduCopter, ArduRover, ArduSub source
C++ GNU General Public License v3.0 UpdatedSep 21, 2023 -
-
P-Mode-Grouping Public
Forked from VUISIS/P-Mode-GroupingMode group challenge using P programming language and ArduPilot
Scilab UpdatedMay 4, 2023 -
-
differential-formula Public
Formal Modeling Using Logic Programming and Analysis
Rust MIT License UpdatedMar 25, 2022 -
jellyfin-apiclient-python Public
Forked from jellyfin/jellyfin-apiclient-pythonPython API Client for Jellyfin
Python GNU General Public License v3.0 UpdatedJan 23, 2022 -
differential-datalog Public
Forked from vmware/differential-datalogAn incremental programming language
Java MIT License UpdatedJan 18, 2022 -
hexo-deployer-pinata Public
IPFS and Pinata deployer plugin for Hexo
-
rustlings Public
Forked from rust-lang/rustlings🦀 Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedNov 23, 2021 -
-
LuminS Public
Forked from wchang22/LuminSA fast and reliable alternative to rsync for synchronizing local files written in Rust
Rust MIT License UpdatedOct 8, 2021 -
rCore-Tutorial-v3 Public
Forked from rcore-os/rCore-Tutorial-v3v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html
Rust GNU General Public License v3.0 UpdatedSep 7, 2021 -
fucking-algorithm Public
Forked from labuladong/fucking-algorithm刷算法全靠套路,认准 labuladong 就够了!English version supported! Crack LeetCode, not only how, but also why.
UpdatedJul 8, 2021 -
trainbenchmark Public
Forked from ftsrg/trainbenchmarkThe Train Benchmark framework for evaluating incremental model validation performance
Java Eclipse Public License 1.0 UpdatedNov 13, 2020 -
rust-evmap Public
Forked from jonhoo/left-rightA lock-free, eventually consistent, concurrent multi-value map.
Rust Apache License 2.0 UpdatedJun 3, 2020 -