groupoid / groupoid.space Licence: other
🧊 Інститут Формальної Математики
Projects that are alternatives of or similar to groupoid.space SwiftUI-bez Utilities for working with bezier curves in SwiftUI
Stars : ✭ 80 (+128.57%)
Mutual labels: path
lookpath The minimum and most straightforward way to check if command exists and where the executable is, without spawning child_process.
Stars : ✭ 49 (+40%)
Mutual labels: path
pi-desktop Pi Desktop - Convert your Raspberry Pi into a Desktop PC
Stars : ✭ 46 (+31.43%)
Mutual labels: pi
SIGMA-detection-rules Set of SIGMA rules (>250) mapped to MITRE Att@k tactic and techniques
Stars : ✭ 97 (+177.14%)
Mutual labels: sigma
guide-to-becoming แหล่งรวบรวมข้อมูลสำหรับคนที่อยากจะพัฒนาตัวเองในด้านต่างๆจากผู้เริ่มต้นสู่ระดับเทพ
Stars : ✭ 23 (-34.29%)
Mutual labels: path
RPi-TELEBOT Python based Telegram bot to monitor and control the raspberry pi
Stars : ✭ 19 (-45.71%)
Mutual labels: pi
opencv3-setup Raspberry Pi whiptail Menu driven Easy Install and Compile of opencv3 python from source files.
Stars : ✭ 47 (+34.29%)
Mutual labels: pi
arch-pi A simple script automatically installing Arch Linux for the Raspberry Pi.
Stars : ✭ 38 (+8.57%)
Mutual labels: pi
hayabusa Hayabusa (隼) is a sigma-based threat hunting and fast forensics timeline generator for Windows event logs.
Stars : ✭ 908 (+2494.29%)
Mutual labels: sigma
gba-remote-play Stream Raspberry Pi games to a GBA via Link Cable
Stars : ✭ 356 (+917.14%)
Mutual labels: pi
pathtools DEPRECATED This twig plugin for the Craft CMS brings convenient path & url manipulation functions & filters to your Twig templates.
Stars : ✭ 19 (-45.71%)
Mutual labels: path
NavigationRouter A router implementation designed for complex modular apps, written in Swift
Stars : ✭ 89 (+154.29%)
Mutual labels: path
ngx-metrika Angular Yandex Metrika (Модуль поддержки счетчиков Яндекс Метрика для Angular 6+)
Stars : ✭ 13 (-62.86%)
Mutual labels: hit
S1EM This project is a SIEM with SIRP and Threat Intel, all in one.
Stars : ✭ 270 (+671.43%)
Mutual labels: sigma
array-keyed-map JS datastructure, like Map, but the keys are arrays
Stars : ✭ 29 (-17.14%)
Mutual labels: path
SonogramView Audio visualisation of song
Stars : ✭ 65 (+85.71%)
Mutual labels: path
global-prefix Get the npm global path prefix. Same code used internally by npm.
Stars : ✭ 27 (-22.86%)
Mutual labels: path
Groupoid Infinity
Groupoid Infinity is building integrated environment for mathematician:
ANT — Publishing environment a la ТеХ
CAS — Computable and Symbolic Mathematics a la Wolfram Mathematica, GAP
NOTE — Notebook Interface a la Jupyter
RT — Runtime Interpreter and Virtual Machines
CERT — Theorem Prover a la Lean/Agda
RT: Virtual Machines and Runtime Languages
APL — persistent tensor array processing runtime (get, put, fold)
CPS — fast certified L1 lambda CPS interpreter as runtime (fun, app)
EFF — effect type system for (in)finite I/O (getString, putString, pure)
PRO — intercore protocol for process calculus (spawn, send, recv)
N2O — app frameworks: MNESIA, BPE, N2O, KVS, NITRO
CERT: Verification Languages
STLC — Simply Typed Lambda Calculus
PTS — Pure Type System for encodings exploration
HTS — Modal CCHM Homotopy Type System for math modeling
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at
[email protected] .