dramforever

dramforever's Stars

• holoiso-eol/holoiso

  SteamOS 3 (Holo) archiso configuration

  Language:Shell5.2k100820263

• AlexNisnevich/untrusted

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

  Language:JavaScript4.6k128247710

• erebe/wstunnel

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

  Language:Rust4.4k56331379

• sharkdp/cube-composer

  A puzzle game inspired by functional programming

  Language:PureScript2k234084

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k5415171

• ThoughtWorksInc/Binding.scala

  Reactive data-binding for Scala

  Language:Scala1.6k114101108

• clash-lang/clash-compiler

  Haskell to VHDL/Verilog/SystemVerilog compiler

  Language:Haskell1.5k55987154

• riscv-software-src/opensbi

  RISC-V Open Source Supervisor Binary Interface

  Language:C1.1k65191522

• webyrd/Barliman

  Prototype smart text editor

  Language:Scheme1.1k50830

• vfleaking/uoj

  Universal Online Judge

  Language:JavaScript5292876106

• QingdaoU/Judger

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

  Language:C4582052258

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell440295050

• compsec-snu/razzer

  A Kernel fuzzer focusing on race bugs

  Language:C359281861

• Avi-D-coder/implicit-hie

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

  Language:Haskell20663817

• cyyself/cemu

  A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.

  Language:C++109638

• type-theory/learn-tt

  A collection of resources for learning type theory.

  1011108

• OpenPAL/TypeAndProof

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

  Language:TeX1002138

• ezyang/compact

  Compact regions library for Haskell

  Language:Haskell8210147

• dramforever/nix-dram

  Nix Flakes with a modified frontend, by dramforever

  Language:Haskell797125

• josecm/riscv-hyp-tests

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

  Language:C361722

• be5invis/your-type

  Language:JavaScript25711

• dramforever/config

  Random config (v2, clean history)

  Language:Nix25404

• sergei-mironov/mobile-nixos-cfg

  A personal MobileNixos adventure

  Language:Shell21500

• MarisaKirisame/CompilingCombinator

  Code for my blog

  Language:Haskell11450

• MislankaNova/geo

  Procedural terrain generator.

  Language:C9310

• jeffswt/pydatagen

  Create random data easier with pydatagen.

  Language:Python7370

• sxysxy/LocalJudge

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

  Language:C++5200

• TerrorJack/vanilla

  Language:Shell5221

• dramforever/danmacom

  Turn danmaku into comments, in VSCode

  Language:TypeScript4

• xmcp/chemcalc

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

  Language:Python3201