-
Flutter-Alarm-Manager-POC Public
Forked from Applinx-Tech/Flutter-Alarm-Manager-POCA Flutter App POC to display full screen notifications in lock screen and handling notifications even in app killed state
C++ UpdatedJul 20, 2025 -
sevenz-rust Public
Forked from dyz1990/sevenz-rustA 7z decompressor/compressor lib written in pure rust
Rust Apache License 2.0 UpdatedAug 6, 2024 -
dan-blank.github.io Public
Forked from slotThe/slotThe.github.ioCSS GNU General Public License v3.0 UpdatedJul 17, 2024 -
zed Public
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust Other UpdatedJan 24, 2024 -
deprank Public
Forked from codemix/deprankUse PageRank to find the most important files in your codebase.
TypeScript MIT License UpdatedJul 2, 2022 -
hgrep-smallcore Public
University project: Haskell implementation of https://www.ccs.neu.edu/home/turon/re-deriv.pdf, with a very small internal regex representation.
-
advent-of-code-2021-haskell Public
Forked from pabloariasal/advent-of-code-2021-haskellHaskell Solutions for Advent of Code 2021 - https://adventofcode.com/
Haskell MIT License UpdatedDec 1, 2021 -
amulet Public
Forked from amuletml/amuletAn ML-like functional programming language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 17, 2021 -
Stockfish-Java Public
Forked from senyast4745/Stockfish-JavaAn asynchronous java wrapper for the popular uci chess engine Stockfish 10
Java Apache License 2.0 UpdatedAug 10, 2020 -
A simple simulator to explore the idea of using two or more cuckoo filters instead of a single filter for the corona-contact-tracing protocoll DP-3T.
Python UpdatedApr 15, 2020 -
smtcoq Public
Forked from smtcoq/smtcoqPractical part of my master thesis: Communication between Coq and SAT/SMT solvers. Located in src/smtinterpol
-
org-thesis Public
Forked from dangom/org-thesisWriting a Ph.D. thesis with Org Mode
Emacs Lisp UpdatedJul 14, 2019 -
-
choice-of-bounds Public
Forked from proglang/choice-of-boundsUniversity project: Implementing a metatheory for choice-of-bounds types
Racket BSD 3-Clause "New" or "Revised" License UpdatedSep 12, 2018 -
JavaToMIPS_Testcases Public
Testcases for compiler construction classes based on "Modern Compiler Implementation in Java" by Andrew Appel and Jens Palsberg.
-
-
ob-racket Public
Forked from wallyqs/ob-racketDriver to run Racket code blocks in Org mode
Emacs Lisp UpdatedApr 18, 2015
{{ message }}