Amanda Stjerna (amandasystems)

amandasystems

Geek Repo

Company:Uppsala university

Location:Sweden

Home Page:http://amandastjerna.se

Github PK Tool:Github PK Tool

Amanda Stjerna's repositories

catra

A Princess theory for computing Parikh images of automata

Language:ScalaLicense:NOASSERTIONStargazers:5Issues:4Issues:40
Language:Jupyter NotebookStargazers:1Issues:0Issues:0

bo-cc

Extract forms from the CommonCrawl dataset

Language:RustStargazers:0Issues:0Issues:0

borrow-analyser

A visualiser for borrowing patterns in Rust

Language:RustStargazers:0Issues:0Issues:0

cloudflare-ddns

🎉🌩️ Dynamic DNS (DDNS) service based on Cloudflare! Access your home network remotely via a custom domain name without a static IP!

Language:PythonStargazers:0Issues:0Issues:0

Devise

Library for devising derives and other procedural macros.

Stargazers:0Issues:0Issues:0

dither

A fork of Efron Licht's dither

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

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

License:Apache-2.0Stargazers:0Issues:0Issues:0

gathio

Self-destructing, shareable, no-registration event pages

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

hyde

Port of https://github.com/poole/hyde to Zola

License:MITStargazers:0Issues:0Issues:0

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0

nano-symex

A tiny symbolic execution engine

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

oopsla-artefact

The artefact for our OOPSLA 2024 paper

License:NOASSERTIONStargazers:0Issues:0Issues:0

ostrich

An SMT Solver for string constraints

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ostrich-deprecated

An SMT Solver for strings

Language:ScalaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

polonius

Defines the Rust borrow checker.

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

princess

The Princess Theorem Prover

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Rocket

A web framework for Rust.

License:Apache-2.0Stargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

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

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rustc-perf

Website for graphing performance of rustc

Stargazers:0Issues:0Issues:0

shairport-sync

AirPlay and AirPlay 2 audio player

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

tl

Fast, zero-copy HTML Parser written in Rust

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

webring

Make yourself a website

License:MITStargazers:0Issues:0Issues:0

xss-payload-list

🎯 Cross Site Scripting ( XSS ) Vulnerability Payload List

License:MITStargazers:0Issues:1Issues:0

z3javascript

A JavaScript wrapper for Z3 containing support for regular expressions & capture groups

License:NOASSERTIONStargazers:0Issues:0Issues:0

zaligvinder

This is an unofficial but friendly fork of the ZaligVinder string benchmark set/runner.

Stargazers:0Issues:0Issues:0

ZimaDocs

Your Home Cloud cookbook!

License:MITStargazers:0Issues:0Issues:0