-
-
elte_msc Public
Mostly just a sync for the codes, snippets and notes that I created during my studies.
Coq Other UpdatedApr 8, 2025 -
-
Jackett Public
Forked from Jackett/JackettAPI Support for your favorite torrent trackers
C# GNU General Public License v2.0 UpdatedMar 29, 2024 -
-
dynamic-wallpaper Public
Forked from dusansimic/dynamic-wallpaperDynamic wallpaper maker for Gnome 42
Python GNU General Public License v2.0 UpdatedOct 16, 2022 -
-
FALSEdsl Public
DSL for http://strlen.com/false-language/ in Haskell
Haskell GNU General Public License v2.0 UpdatedOct 14, 2022 -
Certify Public
Forked from ktomi96/CertifyAutomated Certificate Generator
Python MIT License UpdatedOct 9, 2022 -
-
rust-template Public template
Forked from Tamschi/rust-templateA template repository for Rust libraries. If you wish to use this template for your own projects, please erase my name and contact details from the license files and meta data, and feel free to cha…
Rust Other UpdatedSep 26, 2022 -
-
FALSEInterpreter Public
Interpreter of FALSE programming language written in c++
-
syslog-ng Public
Forked from syslog-ng/syslog-ngsyslog-ng is an enhanced log daemon, supporting a wide range of input and output methods: syslog, unstructured text, queueing, SQL & NoSQL.
C Other UpdatedAug 17, 2022 -
llvm-project Public
Forked from llvm/llvm-projectThe 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…
C++ UpdatedJun 12, 2022 -
metashell Public
Forked from metashell/metashellC++ metaprogramming shell
C++ GNU General Public License v3.0 UpdatedMar 8, 2022 -
node-oidc-provider Public
Forked from panva/node-oidc-providerOpenID Certified™ OAuth 2.0 Authorization Server implementation for Node.js
JavaScript MIT License UpdatedFeb 28, 2022 -
-
freetds Public
Forked from FreeTDS/freetdsOfficial FreeTDS repository
C GNU General Public License v2.0 UpdatedSep 13, 2021 -
-
doxygen Public
Forked from doxygen/doxygenOfficial doxygen git repository
C++ GNU General Public License v2.0 UpdatedMay 5, 2021 -
-
Apollo-11 Public
Forked from chrislgarry/Apollo-11Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Assembly Other UpdatedNov 2, 2020 -
haskell-edsl-example Public
Forked from devaigergely81/haskell-edsl-exampleEmbedded domain specific language (EDSL) example in Haskell
Haskell MIT License UpdatedOct 22, 2020 -
SAC Public
"Simple ASN.1 Checker" checks the backward compatibility between two versions of ASN.1 of 3GPP's RAN2 RRC
-
regex-opt Public
This is a fork of git://bisqwit.iki.fi/regex-opt.git
C++ GNU General Public License v2.0 UpdatedOct 3, 2020 -
vim-agda-async Public
Forked from tsung-ju/vim-agda-asyncVim Script GNU General Public License v3.0 UpdatedOct 3, 2020 -
graphql-engine Public
Forked from hasura/graphql-engineBlazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
Haskell Apache License 2.0 UpdatedSep 26, 2020 -
flex-bison-example Public
Forked from devaigergely81/flex-bison-exampleA compiler and interpreter of a toy language. Using C++, Flex and Bison.
-
nifi-minifi-cpp Public
Forked from apache/nifi-minifi-cppMirror of Apache Nifi Minifi CPP
C++ Apache License 2.0 UpdatedAug 14, 2020
{{ message }}