Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Repository Index
47,133 repositories indexed
11,761–11,784 of 15,402 · Most stars
Based on the Volatility framework, this script will run various plugins as well as create a timeline, or use YARA/ClamAV/VirusTotal to find badness.
Access GoogleCloud APIs using Vapor
- vapor-service
- vapor-3
- swift
- google-cloud
Profanity filter library for Elixir
Helper routines for simplifying the creation of optional fields of basic type.
- go
- golang
- pointer
- pointers
🐚 Putting the zee in your shell. A plugin-based framework for Zsh.
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Game to pop pimples using the awesome Godot Engine
- pimple
- pop
- popping
- lipoma
Simple iOS game
Open-source crypto library with a similar API for multiple languages.
A neovim plugin for encoding and decoding text
Chromacore is a 2D musical platformer set in a dark, black & white world that progressively becomes more colorful and happy through successful gameplay.
🌕 Simple and fun UI syntax for Löve2D
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Micropython implementation of DFPlayer control using UART 1 (secondary Serial connection)
Command line cross platform builder and runner for Love2D projects
Create animations in Neovim
WebExtension Target for Webpack 5. Supports code-splitting and HMR.
- webextension
Design with Audio in Framer (https://framer.com).
🖼 iOS11 demo application for image style classification.
- ios
- swift
- swift4
- vision
Filter to put OSA languages (AppleScript, JavaScript) into git, as if they where plain text-files
- applescript
- git-filter
- scpt
A Fork of Auditd geared specifically for running on the Android platform. Includes system applications, AOSP patches, and kernel patches to maximize the audit experience.
A showcase of awesome programming language projects and resources written in Elm.