• Stars
    star
    1
  • Language
  • License
    MIT License
  • Created about 6 years ago
  • Updated almost 5 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Explorations in KSP space exploration with kOS

More Repositories

1

trustfall

A query engine for any combination of data sources. Query your files and APIs as if they were databases!
Rust
2,399
star
2

cargo-semver-checks

Scan your Rust crate for semver violations.
Rust
1,131
star
3

cargo-semver-checks-action

A GitHub Action for running cargo-semver-checks
TypeScript
60
star
4

typing_copilot

Helper for starting to type-hint large codebases with mypy.
Python
37
star
5

monad_compiler

A compiler for the MONAD language from Advent of Code 2021 Day 24
Rust
20
star
6

trustfall-rustdoc-adapter

Trustfall adapter for querying rustdoc
Rust
10
star
7

ychacks2014

A hackathon adventure
JavaScript
7
star
8

pyre

6.858 final project -- Python exploitation of PC-remote-control mobile apps
Python
5
star
9

graphql-compiler-cross-db-example

A demo of the GraphQL compiler's cross-database querying capabilities
Jupyter Notebook
4
star
10

trustfall-rustdoc

Trustfall adapters for various rustdoc JSON format versions
Rust
4
star
11

python-bootstrap

A baseline Python project with all tooling set up
Python
3
star
12

kerbal-api

Programmatically querying Kerbal Space Program information, such as part characteristics
Python
3
star
13

advent-of-code-2021

Rust
2
star
14

crates-rustdoc

Rustdoc JSON for top crates, generated by crates-rustdoc-gen
2
star
15

ascension-bot

A system to play the Ascension: Chronicle of the Godslayer board game in an automated fashion for the purposes of game-theoretic analysis of various strategies.
Python
2
star
16

crates-rustdoc-gen

Rustdoc JSON generator for the top crates on crates.io
Rust
2
star
17

advent-of-code-2020

Rust
2
star
18

jester

An authentication system that enables two-factor authentication (2FA) using only client-side Javascript, without relying on any special server-side APIs other than password-based login and password changes for authenticated users.
CoffeeScript
2
star
19

advent-of-code-2022

Solutions for Advent of Code 2022
Rust
1
star
20

obsidian

Language analysis system
CoffeeScript
1
star
21

livedrop

An end-to-end encrypted photo sharing app using only free-to-use services, where the only trusted parties are the photo sender and recipient.
CoffeeScript
1
star
22

diego

A flexible transaction conflict-resolution framework written in Go
Go
1
star