Giters
Samuel Pastva (daemontus)

daemontus

Geek Repo

37

followers

86

following

254

stars

Location:Slovakia

Github PK Tool:Github PK Tool

Organizations
sybila

Samuel Pastva's starred repositories

bdd-benchmark

Benchmarking Suite for BDD packages

Language:C++License:MITStargazers:11Issues:0Issues:0

ArchiveBox

🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

Language:PythonLicense:MITStargazers:20464Issues:0Issues:0

tabby

Self-hosted AI coding assistant

Language:RustLicense:NOASSERTIONStargazers:20146Issues:0Issues:0

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:16347Issues:0Issues:0

macosrec

Take screenshots/videos of macOS windows from the command line

Language:SwiftLicense:GPL-3.0Stargazers:103Issues:0Issues:0

scientific-visualization-book

An open access book on scientific visualization using python and matplotlib

Language:PythonLicense:NOASSERTIONStargazers:10179Issues:0Issues:0

afl.rs

🐇 Fuzzing Rust code with American Fuzzy Lop

Language:RustLicense:Apache-2.0Stargazers:1605Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:31692Issues:0Issues:0

termimad

A library to display rich (Markdown) snippets and texts in a rust terminal application

Language:RustLicense:MITStargazers:879Issues:0Issues:0

modern-font-stacks

System font stack CSS organized by typeface classification for every modern operating system

Language:HTMLLicense:CC0-1.0Stargazers:2574Issues:0Issues:0

NORDic

Network-Oriented Repurposing of Drugs Python Package

Language:Jupyter NotebookLicense:MITStargazers:6Issues:0Issues:0

wry

Cross-platform WebView library in Rust for Tauri.

Language:RustLicense:Apache-2.0Stargazers:3401Issues:0Issues:0

flux

Refinement Types for Rust

Language:RustLicense:MITStargazers:584Issues:0Issues:0

scBoolSeq

scBoolSeq: scRNA-Seq data binarisation and synthetic generation from Boolean dynamics

Language:PythonStargazers:7Issues:0Issues:0

AArch64-Explore

Language:MathematicaStargazers:213Issues:0Issues:0

RNAlysis

Analyze your RNA sequencing data without writing a single line of code

Language:PythonLicense:MITStargazers:123Issues:0Issues:0

scRNA_infer

Language:Jupyter NotebookStargazers:3Issues:0Issues:0

godel-escher-bach

TeX reproduction of Hofstadter's "Gödel, Escher, Bach"

Language:TeXStargazers:1Issues:0Issues:0

bokit

Definition, manipulation and evaluation of Boolean rules

Language:RustStargazers:3Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2063Issues:0Issues:0

bonesis

Synthesis and Reprogramming of Most Permissive Boolean Networks

Language:PythonLicense:NOASSERTIONStargazers:9Issues:0Issues:0

netZooPy

netZooPy is a network biology package implemented in Python.

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:75Issues:0Issues:0

adf-obdd

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

Language:RustLicense:MITStargazers:9Issues:0Issues:0

action-build-and-upload-conda-packages

GitHub Action: new conda packages are built and uploaded to Anaconda when a new released or pre-released version is declared.

License:MITStargazers:13Issues:0Issues:0

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1083Issues:0Issues:0

likwid

Performance monitoring and benchmarking suite

Language:CLicense:GPL-3.0Stargazers:1616Issues:0Issues:0

bender

A dependency management tool for hardware projects.

Language:RustLicense:Apache-2.0Stargazers:218Issues:0Issues:0

ch32v307

Including the SDK、HDK、Datasheet of RISC-V MCU CH32V307 and other relevant development materials

Language:CStargazers:374Issues:0Issues:0

no2usb

Nitro USB FPGA core

Language:CLicense:NOASSERTIONStargazers:80Issues:0Issues:0

pyfive

PyFive - RISC-V libre silicon microcontroller design leveraging the new Google/SkyWater 130nm PDK

Stargazers:7Issues:0Issues:0