Other resources

未分类

coq2rust

Coq to Rust program extraction. The whole tree is on the or...

LGPL-2.1

OCaml

FastView Compare 1k

未分类

gimme

gimme 是一个 shell 脚本，它知道如何安装 go。「gimme is a shell script that ...

MIT

Shell

FastView Compare 1.7k

未分类

FPGA_Webserver

A work-in-progress for what is to be a software-free web ser...

MIT

VHDL

FastView Compare 1k

未分类

go-sandbox

An alternate frontend to the Go Playground

to be determined

JavaScript

FastView Compare 1.1k

  1.2k

未分类

Colorful

A curated list of awesome resources to choose your next colo...

CC0-1.0

N/A

FastView Compare 2k

未分类

node-netmask

Parse and lookup IP network blocks

MIT

CoffeeScript

FastView Compare 1.2k

  4.8k

未分类

GLWTPL

"Good Luck With That" Public License

NOASSERTION

N/A

FastView Compare 1.4k

未分类

openstack-helm

Helm charts for deploying OpenStack on Kubernetes

Apache-2.0

Shell

FastView Compare 1.2k

未分类

consul_demo

Consul service discovery tool examples.

MIT

Shell

FastView Compare 0.9k

  2.1k

未分类

hauberk

A web-based roguelike written in Dart.

NOASSERTION

Dart

FastView Compare 1.3k

未分类

RE-for-beginners

"Reverse Engineering for Beginners" free book

to be determined

TeX

FastView Compare 2.4k

  3.4k

未分类

Adapta-gtk-theme

基于材料设计指南的自适应 Gtk+ 主题。「An adaptive Gtk+ theme based on Materi...

GPL-2.0

CSS

FastView Compare 1.9k