Cypher1/tako

An experimental programming language for ergonomic software verification

Language: Rust - Size: 2.66 MB - Last synced: 8 days ago - Pushed: 11 days ago - Stars: 15 - Forks: 1

Cypher1/Castle

My config files

Language: Shell - Size: 39.3 MB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0

Cypher1/greasy Fork of google/greasy

A set of aliases and functions for quick Git work

Language: Shell - Size: 34.2 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0

Cypher1/prezto Fork of sorin-ionescu/prezto

The configuration framework for Zsh

Language: Shell - Size: 2.18 MB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 0 - Forks: 0

Cypher1/zplug Fork of zplug/zplug

:hibiscus: A next-generation plugin manager for zsh

Language: Shell - Size: 1.07 MB - Last synced: 28 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

Cypher1/syntect_highlight_demo

Language: Rust - Size: 3.91 KB - Last synced: 29 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Cypher1/z3.wasm Fork of cpitclaudel/z3.wasm 📦

WASM builds of the Z3 SMT solver

Language: Shell - Size: 24.4 KB - Last synced: 29 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Cypher1/raksha Fork of google-research/raksha

Size: 4.1 MB - Last synced: 29 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Cypher1/when-changed Fork of joh/when-changed

Execute a command when a file is changed

Language: Python - Size: 66.4 KB - Last synced: 29 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Cypher1/wasm-shared-buffers Fork of project-oak/wasm-shared-buffers

Language: Rust - Size: 86.9 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/vector-icons Fork of sadrulhc/vector-icons

Chrome extension to draw vector icons in chrome source code repository.

Language: JavaScript - Size: 16.6 KB - Last synced: 29 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Cypher1/tyger

Exploring type systems as a library

Language: TypeScript - Size: 29.3 KB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Cypher1/source_loc Fork of neonphog/source_loc

rust utility for capturing source file location at compile time

Size: 9.77 KB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Cypher1/soa-derive Fork of lumol-org/soa-derive

Array of Struct to Struct of Array helpers in Rust

Language: Rust - Size: 140 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/salt Fork of discus-lang/salt

The compilation target that functional programmers always wanted.

Language: Haskell - Size: 1.07 MB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Cypher1/rust Fork of rust-lang/rust

Empowering everyone to build reliable and efficient software.

Size: 525 MB - Last synced: 29 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

Cypher1/specs_error

Reproduction of an issue with specs

Language: Rust - Size: 3.91 KB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Cypher1/oak Fork of project-oak/oak

Meaningful control of data in distributed systems.

Size: 79.3 MB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Cypher1/oh-my-zsh Fork of ohmyzsh/ohmyzsh

A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language: Shell - Size: 4.08 MB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Cypher1/i3blocks-contrib Fork of vivien/i3blocks-contrib

Official repository for community contributed blocklets

Language: Python - Size: 570 KB - Last synced: 29 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Cypher1/HackSlashBash

An RPG written in Bash

Language: Shell - Size: 24.4 KB - Last synced: 29 days ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

Cypher1/py3status Fork of ultrabug/py3status

py3status is an extensible i3status wrapper written in python

Language: Python - Size: 3.34 MB - Last synced: 29 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

Cypher1/NNplusplus Fork of stagadish/NNplusplus 📦

A small and easy to use neural net implementation for C++. Just download and #include!

Language: C++ - Size: 3.62 MB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

Cypher1/new-project Fork of google/new-project

This repository contains a template you can use to seed a repository for a new open source project.

Size: 20.5 KB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Cypher1/nvim_i3focus

A plugin for Neovim that simplifies keybindings for moving between splits and windows

Language: Python - Size: 1.95 KB - Last synced: 29 days ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

Cypher1/13k_lost

A tiny game (hopefully)

Language: JavaScript - Size: 72.3 KB - Last synced: 29 days ago - Pushed: over 5 years ago - Stars: 3 - Forks: 1

Cypher1/naive Fork of orodley/naive

Self-hosting C toolchain, from scratch

Language: C - Size: 831 KB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Cypher1/nvim-rappel

Rappel is fairly minimal Read Execute Print Loop (REPL) plugin for NeoVim

Language: Vim script - Size: 4.88 KB - Last synced: 29 days ago - Pushed: almost 7 years ago - Stars: 7 - Forks: 0

Cypher1/nextfile.vim Fork of allenhwkim/nextfile.vim

vim script to open related files

Language: Vim script - Size: 19.5 KB - Last synced: 29 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Cypher1/manticore Fork of lowRISC/manticore

Size: 450 KB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Cypher1/llvm-project Fork of llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Size: 2.17 GB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/datafrog Fork of rust-lang/datafrog

A lightweight Datalog engine in Rust

Size: 155 KB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Cypher1/lit-starter Fork of zainafzal08/lit-starter

Size: 11.7 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/Jungell 📦

A group of simple Machine Learning Algorithms in Haskell

Language: Haskell - Size: 5.86 KB - Last synced: 29 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

Cypher1/GamePlayer 📦

A simple Haskell API for defining generic games and writing AIs for them

Language: Haskell - Size: 17.6 KB - Last synced: 29 days ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

Cypher1/Coqtail Fork of whonore/Coqtail

Interactive Coq Proofs in Vim

Language: Python - Size: 329 KB - Last synced: 29 days ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

Cypher1/inkwell_demo

Trial run of using inkwell (Rust bindings for LLVM's C++ API)

Language: Rust - Size: 19.5 KB - Last synced: 29 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Cypher1/demon

A demo for Rust features: TCP, Threading & Daemonize

Language: Rust - Size: 9.77 KB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Cypher1/Backpropagation Fork of Deepanjan66/neural-lib 📦

This is my implementation of a basic Neural Network interface to show how the backpropagation algorithm works and how the structure of a network can influence the learning backpropagation facilitates.

Language: Python - Size: 40 KB - Last synced: 29 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

Cypher1/copyless Fork of kvark/copyless

Avoid memcpy calls when working with standard containers

Language: Rust - Size: 31.3 KB - Last synced: 29 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

Cypher1/arcs Fork of PolymerLabs/arcs

Arcs

Language: Kotlin - Size: 88.4 MB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/bravia-auth-and-remote Fork of breunigs/bravia-auth-and-remote

Shell snippets to auth and send remote control commands to Sony Bravia TVs

Language: Shell - Size: 22.5 KB - Last synced: 29 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Cypher1/COMP6771-tests Fork of bmon/COMP6771-tests 📦

Language: C++ - Size: 563 KB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

Cypher1/cargo-mobile Fork of BrainiumLLC/cargo-mobile

Rust on mobile made easy!

Size: 921 KB - Last synced: 29 days ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Cypher1/arcs-experiments Fork of shans/arcs-experiments

Size: 361 KB - Last synced: 29 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

Cypher1/ConnectFour 📦

A Connect Four Game and Interface

Language: Java - Size: 14 MB - Last synced: 29 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Cypher1/Cpp_Tuts 📦

Language: C++ - Size: 92.8 KB - Last synced: 29 days ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

Cypher1/qmk_firmware Fork of qmk/qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language: C - Size: 279 MB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 1 - Forks: 0

Cypher1/cypher1.github.io

Blog

Language: Shell - Size: 15.1 MB - Last synced: 29 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

Cypher1/mdbook-graphviz Fork of dylanowen/mdbook-graphviz

Language: Rust - Size: 147 KB - Last synced: 28 days ago - Pushed: 30 days ago - Stars: 0 - Forks: 0

Cypher1/ika 📦

A simple compiler written in Rust targetting Wasm

Language: Rust - Size: 104 KB - Last synced: 29 days ago - Pushed: over 4 years ago - Stars: 4 - Forks: 0

Cypher1/poetry-core Fork of python-poetry/poetry-core

Poetry PEP 517 Build Backend & Core Utilities

Language: Python - Size: 2.96 MB - Last synced: 29 days ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Cypher1/poetry Fork of python-poetry/poetry

Python packaging and dependency management made easy

Size: 19.5 MB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 0 - Forks: 0

Cypher1/linak-controller Fork of rhyst/linak-controller

A Python script to control Linak standing desks.

Language: Python - Size: 205 KB - Last synced: 29 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

Cypher1/yargs Fork of yargs/yargs

yargs the modern, pirate-themed successor to optimist.

Size: 4.78 MB - Last synced: 29 days ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

Cypher1/gccjit.rs Fork of swgillespie/gccjit.rs

Rust bindings for libgccjit.

Size: 1.32 MB - Last synced: 29 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

Cypher1/steel

Demo for ECS talk

Language: Rust - Size: 317 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/KanFam_Ethics 📦

An organisational tool for everyone

Language: JavaScript - Size: 8.97 MB - Last synced: 29 days ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Cypher1/glasses

Language: Rust - Size: 12.7 KB - Last synced: 20 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Cypher1/no_debug

Helper types to omit debug info for select values

Language: Rust - Size: 19.5 KB - Last synced: 21 days ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0