Beast code in Giters

dram's starred repositories

nix-dram

Nix Flakes with a modified frontend, by dramforever

Language:Haskell7400

config

Random config (v2, clean history)

Language:NixMIT2300

razzer

A Kernel fuzzer focusing on race bugs

Language:C35300

mobile-nixos-cfg

A personal MobileNixos adventure

Language:Shell2100

holoiso

SteamOS 3 (Holo) archiso configuration

Language:ShellNOASSERTION523800

riscv-hyp-tests

A bare-metal application to test specific features of the risc-v hypervisor extension

Language:CGPL-3.02900

opensbi

RISC-V Open Source Supervisor Binary Interface

Language:CNOASSERTION95000

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

Language:HaskellBSD-3-Clause20000

danmacom

Turn danmaku into comments, in VSCode

Language:TypeScriptISC400

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellNOASSERTION139600

vanilla

Language:Shell500

concat

Compiling to Categories

Language:HaskellBSD-3-Clause43100

geo

Procedural terrain generator.

Language:CMIT800

compact

Compact regions library for Haskell

Language:HaskellBSD-3-Clause8100

Barliman

Prototype smart text editor

Language:SchemeMIT104200

LocalJudge

OI练习的时候可用的简易的本地评测系统，用法请看readme

Language:C++GPL-3.0500

your-type

Language:JavaScript2500

Binding.scala

Reactive data-binding for Scala

Language:ScalaMIT158500

untrusted

A meta-JavaScript adventure game by Alex Nisnevich and Greg Shuflin.

Language:JavaScript456200

CompilingCombinator

Code for my blog

Language:HaskellLGPL-3.01200

wstunnel

Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available

Language:RustBSD-3-Clause375700

cube-composer

A puzzle game inspired by functional programming

Language:PureScriptMIT199900

pydatagen

Create random data easier with pydatagen.

Language:PythonLGPL-3.0700

uoj

Universal Online Judge

Language:JavaScriptMIT51800

chemcalc

计算原子量的有力工具（非清真）

Language:Python300

Judger

Online judge sandbox based on seccomp | OnlineJudge 安全沙箱

Language:CNOASSERTION44500

TypeAndProof

https://openpal.github.io/TypeAndProof/

Language:TeX10200

lamdu

lamdu - towards the next generation IDE

Language:HaskellGPL-3.0185000

learn-tt

A collection of resources for learning type theory.

10000

Coq_code

Language:CoqLGPL-3.01000