Giters
Chris Van Vranken (cessationoftime)

cessationoftime

Geek Repo

13

followers

0

following

170

stars

Company:University of Akron

Location:Akron, OH

Github PK Tool:Github PK Tool

Chris Van Vranken's starred repositories

fornjot

Early-stage b-rep CAD kernel, written in the Rust programming language.

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

Laser_control

Laser for control mosquito, weed, and pest

Language:PythonStargazers:1264Issues:0Issues:0

burn

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

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

domain-list-community

Community managed domain list. Generate geosite.dat for V2Ray.

Language:GoLicense:MITStargazers:4546Issues:0Issues:0

openScale

Open-source weight and body metrics tracker, with support for Bluetooth scales

Language:JavaLicense:GPL-3.0Stargazers:1667Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2480Issues:0Issues:0

nix-config

:space_invader: NixOS configuration

Language:NixLicense:Apache-2.0Stargazers:823Issues:0Issues:0

ptyx

A type-system for Nix

Language:NixLicense:BSD-3-ClauseStargazers:96Issues:0Issues:0

deploy-rs

A simple multi-profile Nix-flake deploy tool.

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

jlrs

Julia bindings for Rust

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

M3

Published design files for the MakerGear M3 printer.

Stargazers:3Issues:0Issues:0

crust

C/C++ to Rust transpiler

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

OpenSyringePump

Open Syringe Pump instructions, code, and 3D files

Language:OpenSCADStargazers:60Issues:0Issues:0

nixos-mailserver

A complete and Simple Nixos Mailserver

Language:NixLicense:GPL-3.0Stargazers:181Issues:0Issues:0

ied

:package: Like npm, but faster - an alternative package manager for Node

Language:JavaScriptLicense:MITStargazers:1989Issues:0Issues:0

nix-gitignore

filterSource using .gitignore (experiment)

Language:GoStargazers:7Issues:0Issues:0

tix-papers

Some writings about a type system for nix

Language:TeXStargazers:19Issues:0Issues:0

tix

[WIP] A type system for nix

Language:OCamlStargazers:61Issues:0Issues:0

tesseract

Tesseract Open Source OCR Engine (main repository)

Language:C++License:Apache-2.0Stargazers:60459Issues:0Issues:0

HikariCP

光 HikariCP・A solid, high-performance, JDBC connection pool at last.

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

legacy-old-hercules

Abandoned

Language:HaskellStargazers:168Issues:0Issues:0

awesome-interview-questions

:octocat: A curated awesome list of lists of interview questions. Feel free to contribute! :mortar_board:

Stargazers:69899Issues:0Issues:0

hydra-frontend

Superseeded by https://github.com/hercules-ci/hercules

Language:ElmStargazers:21Issues:0Issues:0

js-stack-from-scratch

🛠️⚡ Step-by-step tutorial to build a modern JavaScript stack.

Language:JavaScriptLicense:MITStargazers:20045Issues:0Issues:0

Deep-Learning-Papers-Reading-Roadmap

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Language:PythonStargazers:37867Issues:0Issues:0

voixen-vad

WebRTC-based Voice Activity Detection library

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

akka-persistence-redis

Akka Persistence that uses Redis as backend

Language:ScalaLicense:NOASSERTIONStargazers:117Issues:0Issues:0

search-guard

Search Guard is an Open Source Elasticsearch plugin that offers encryption, authentication, and authorisation.

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

akka-log4j

Logging backend for Akka based on Log4j

Language:ScalaLicense:Apache-2.0Stargazers:28Issues:0Issues:0

log4j2-logstash-jsonevent-layout

Log4J2 Layout as a Logstash "json_event"

Language:JavaLicense:NOASSERTIONStargazers:40Issues:0Issues:0