|
|
Jupyter Notebook |
2 |
Examples of using pySPEDAS to access THEMIS data |
Jan 31, 2023 |
|
|
C |
29 |
Postgres Themis plugin |
Jul 10, 2022 |
|
|
JavaScript |
3 |
Multipurpose Discord Bot, Themis |
May 30, 2022 |
|
|
C |
13 |
Themis module for Redis database |
Jun 06, 2022 |
|
|
None |
2 |
한국 THEMIS 워킹 그룹 github입니다. |
Aug 18, 2021 |
|
|
Python |
3 |
Postprocessing tools for Themis analyses. |
Jul 19, 2022 |
|
|
C |
2 |
The Themis online judge system. |
Dec 26, 2016 |
|
|
Rust |
14 |
Using Rust from love2d code |
Jan 01, 2023 |
|
|
Swift |
9 |
Themis - Artemis Tutor App for iPad |
Feb 14, 2023 |
|
|
SCSS |
3 |
Documentation for Themis, Acra, Hermes, Toughbase |
Jan 14, 2022 |
|
|
Java |
3 |
Taint analyzer for Themis' front end |
Oct 28, 2020 |
|
|
Makefile |
551 |
Rust + Go — Call Rust code from Go using FFI |
Apr 24, 2023 |
|
|
None |
2 |
Rust + Go — Call Rust code from Go using FFI |
Jan 02, 2024 |
|
|
C |
5 |
Demo code for security workshop on #swiftalps: storage and transfer encryption using Themis |
Feb 07, 2022 |
|
|
Python |
5 |
Themis-ML - automated feedback on programing exercises |
Feb 18, 2023 |
|
|
Java |
96 |
Themis™ is a software fairness tester. |
Apr 01, 2023 |
|
|
Rust |
496 |
rustcxx: Using C++ from Rust made easy |
Jul 28, 2022 |
|
|
Rust |
20 |
Experimentation using the xla compiler from rust |
Apr 22, 2023 |
|
|
Python |
2 |
Running Rust code from Python using PyO3 |
Apr 12, 2023 |
|
|
Rust |
23 |
Example programs using LLVM from within Rust |
Sep 14, 2018 |
|
|
Rust |
2 |
Minimal example of using C++ from Rust |
Mar 14, 2022 |
|
|
None |
11 |
Repository with resources for the THEMIS RFC&C |
Jan 08, 2022 |
|
|
Makefile |
3 |
Alpine image for running vim-themis on Neovim |
Sep 21, 2019 |
|
|
JavaScript |
31 |
A web interface for Themis, written in Node.js |
Jan 28, 2023 |
|
|
Rust |
5 |
Send emails right from the terminal using Rust! |
Mar 11, 2022 |
|
|
Jupyter Notebook |
3 |
THEMIS ground-based All Sky camera data readfile software |
Mar 03, 2023 |
|
|
C++ |
4 |
run the faust echo example from rust, using portaudio. |
Oct 13, 2019 |
|
|
Rust |
4 |
A chess engine written completely from scratch using rust. |
Feb 18, 2023 |
|
|
TypeScript |
2 |
Themis ECS is a Entity Component System written in TypeScript |
Apr 13, 2022 |
|
|
Dockerfile |
2 |
Repository with docker containers, useful for running Themis and Acra |
Nov 14, 2019 |
|
|
C++ |
102 |
Anonymous web chat server, built on top of Themis/WebThemis |
May 29, 2022 |
|
|
Python |
2 |
A python package to download and read THEMIS spacecraft data. |
Jan 12, 2023 |
|
|
JavaScript |
2 |
A userscript that improves the look of Themis a ton |
Dec 22, 2022 |
|
|
JavaScript |
30 |
Themis Web Interface - Trang web quản lý chấm điểm tự động môn Tin Học … |
Jun 23, 2022 |
|
|
Rust |
56 |
Instrument Rust code using Rust |
Aug 02, 2021 |
|
|
Elixir |
16 |
Demonstrate calling Rust functions from Elixir using Erlang NIF interface |
Mar 27, 2023 |
|
|
Rust |
32 |
PoC Using WASM Modules as Hot-Reloading Logic from Rust. |
Mar 19, 2023 |
|
|
Nix |
3 |
Calling statically linked Rust from Haskell, using a Nix environment |
Jul 23, 2022 |
|
|
C++ |
18 |
Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison |
Mar 20, 2023 |
|
|
Rust |
2 |
Calculator in Rust using rust-peg |
Feb 21, 2017 |
|
|
Rust |
35 |
Logic programming, for Rust, from inside Rust. |
Mar 02, 2023 |
|
|
Rust |
56 |
🎨 Color palette generator from an image using WebAssesmbly and Rust |
Apr 22, 2023 |
|
|
Rust |
19 |
👷 Kubekite, but in Rust, using configuration from your repos 🦀 |
Aug 12, 2022 |
|
|
Shell |
8 |
💻 Bash script for using Rust Playground 🦀 from your terminal. |
Dec 28, 2022 |
|
|
TypeScript |
2 |
An example of generating contours from a 2D array using Rust. |
Mar 08, 2023 |
|
|
Rust |
19 |
Fetch secure credentials from multiple backends (environment, Vault, etc.) using Rust |
Sep 19, 2022 |
|
|
Rust |
2 |
PoC of using nrf91 modem from pure rust, no C blob |
Nov 21, 2023 |
|
|
Python |
5 |
Read & Plot THEMIS ASI 256x256 "high resolution" GBO ground-based imager data |
Jan 27, 2023 |
|
|
Rust |
19 |
Learning rust from scratch |
Apr 24, 2020 |
|
|
Rust |
8 |
learn rust from scratch |
Apr 14, 2023 |