Tim Böhm (Osleff)

Osleff

Geek Repo

Company:Testfabrik AG

Location:Saarbrücken

Github PK Tool:Github PK Tool

Tim Böhm's starred repositories

rusty_planner

AI planning & reasoning library for Rust

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

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32264Issues:0Issues:0

rust

Rust language bindings for TensorFlow

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

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

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

Proton

Compatibility tool for Steam Play based on Wine and additional components

Language:C++License:NOASSERTIONStargazers:23555Issues:0Issues:0

remotion

🎥 Make videos programmatically with React

Language:TypeScriptLicense:NOASSERTIONStargazers:19780Issues:0Issues:0

fromscratch

Autosaving Scratchpad. A simple but smart note-taking app

Language:JavaScriptLicense:MITStargazers:714Issues:0Issues:0

goat

Render ASCII art as SVG diagrams

Language:GoLicense:MITStargazers:151Issues:0Issues:0

hugo-mod-jslibs

A collection of JS libraries that works great with Hugo.

Language:HTMLLicense:MITStargazers:49Issues:0Issues:0

hugo-starter-tailwind-basic

A basic and simple to set up Hugo with TailwindCSS starter project.

Language:HTMLLicense:MITStargazers:142Issues:0Issues:0

dotbot

A tool that bootstraps your dotfiles ⚡️

Language:PythonLicense:MITStargazers:6940Issues:0Issues:0

svelte

Cybernetically enhanced web apps

Language:JavaScriptLicense:MITStargazers:77798Issues:0Issues:0

vite

Next generation frontend tooling. It's fast!

Language:TypeScriptLicense:MITStargazers:66477Issues:0Issues:0

JsonPath

Java JsonPath implementation

Language:JavaLicense:Apache-2.0Stargazers:8803Issues:0Issues:0

Flutter-Course-Resources

Learn to Code While Building Apps - The Complete Flutter Development Bootcamp

Stargazers:10165Issues:0Issues:0

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

Language:GoLicense:NOASSERTIONStargazers:41855Issues:0Issues:0

world_countries

Constantly updated lists of world countries and their associated alpha-2, alpha-3 and numeric country codes as defined by the ISO 3166 standard, available in CSV, JSON , PHP, SQL and XML formats, in multiple languages and with national flags included; also available are the ISO 3166-2 codes of provinces/ states associated with the countries

Language:PHPLicense:NOASSERTIONStargazers:1356Issues:0Issues:0

d3

Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

Language:ShellLicense:ISCStargazers:108216Issues:0Issues:0

webmate-docs

Feedback and resources for docs.webmate.io

Stargazers:1Issues:0Issues:0
Language:CoqLicense:MITStargazers:6Issues:0Issues:0

intellij-platform-plugin-template

Template repository for creating plugins for IntelliJ Platform

Language:KotlinLicense:Apache-2.0Stargazers:2989Issues:0Issues:0

lsp4intellij

This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

Language:JavaLicense:Apache-2.0Stargazers:429Issues:0Issues:0

UnityFx.Outline

Screen-space outlines for Unity3d.

Language:C#License:MITStargazers:1217Issues:0Issues:0

Aerial

Apple TV Aerial Screensaver for Mac

Language:SwiftLicense:MITStargazers:20763Issues:0Issues:0

hugoDocs

The source for https://gohugo.io/

Language:CSSLicense:Apache-2.0Stargazers:1038Issues:0Issues:0
Language:JavaScriptLicense:NOASSERTIONStargazers:2640Issues:0Issues:0

website

The webpage for the www.w3champions.com community project.

Language:VueStargazers:46Issues:0Issues:0

launcher

This is the launcher for w3champions. It includes the needed flo hostbot executables.

Language:CSSStargazers:27Issues:0Issues:0

lighthouse-ci

Automate running Lighthouse for every commit, viewing the changes, and preventing regressions

Language:JavaScriptLicense:Apache-2.0Stargazers:6356Issues:0Issues:0