tix[WIP] A type system for nix
Stars: ✭ 59 (+28.26%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+6560.87%)
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+6752.17%)
GlassGui Library written in Crystal
Stars: ✭ 24 (-47.83%)
visionsType System for Data Analysis in Python
Stars: ✭ 136 (+195.65%)
layoutGraph layouting package
Stars: ✭ 19 (-58.7%)
pactumCreate API specifications and documentation using Python
Stars: ✭ 24 (-47.83%)
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-4.35%)
kanjiA strongly typed GraphQL API framework
Stars: ✭ 12 (-73.91%)
pepatchA hacky tool to patch PE binaries.
Stars: ✭ 21 (-54.35%)
Bear-Blog-EngineModern blog engine made with Go and the Next.js framework
Stars: ✭ 23 (-50%)
ReadingA list of computer-science readings I recommend
Stars: ✭ 1,919 (+4071.74%)
laravel-saas📧 💵 Email activation, two-factor authentication, subscription billing, team billing, API token authentication, admin user impersonation and more.
Stars: ✭ 19 (-58.7%)
typeqlTypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+241.3%)
rtl-everywhere[WIP] React Testing Library everywhere
Stars: ✭ 27 (-41.3%)
floweretRuntime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-56.52%)
wipWIP & naenae: CLI utilities to easily manage Work In Progress with Git
Stars: ✭ 46 (+0%)
yantsYet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-23.91%)
R3ditorAn open-source project created to reverse-engineering some Resident Evil 3 files
Stars: ✭ 19 (-58.7%)
plt-researchA collection of PLT researching
Stars: ✭ 29 (-36.96%)
ronin-exploitsA Ruby micro-framework for writing and running exploits
Stars: ✭ 36 (-21.74%)
WebinoImageThumb✂️ Webino™ Image thumbnailer for Zend Framework [LTS] http://webino.github.io/WebinoImageThumb
Stars: ✭ 40 (-13.04%)
TruthA Domain Representation Language
Stars: ✭ 23 (-50%)
backyard birdbotThis project is for a Twitter bot that monitors a bird feeder in my backyard. Any detected birds are identified and posted to Twitter.
Stars: ✭ 63 (+36.96%)
go-external-ipa Golang library to get your external ip from multiple services
Stars: ✭ 55 (+19.57%)
ng-leafletAngular 2 component for Leaflet 1.x (WIP - Help Wanted)
Stars: ✭ 16 (-65.22%)
KanColle-English-Patch-KCCPEnglish Patch for the original KanColle browser game, to be used with KCCacheProxy. Translates most of the game into english.
Stars: ✭ 28 (-39.13%)
AminoREAPI📱 An unofficial (and reversed enginnered!) client library for http://aminoapps.com/
Stars: ✭ 34 (-26.09%)
GraknTypeDB: a strongly-typed database
Stars: ✭ 2,947 (+6306.52%)
VSCode-Bedrock-Development-ExtensionAn extension that provides support for files such as: .mcfunction, .json and .lang. Features include: completion, validations, formatters, diagnostics, cheat-sheets, code-actions, generation of files, and development tools to help develop Minecraft Bedrock Addons or Minecraft Education Edition.
Stars: ✭ 45 (-2.17%)
Type ChallengesCollection of TypeScript type challenges with online judge
Stars: ✭ 10,812 (+23404.35%)
MacaronA sweet hobby made operating system written in C++ for x86 CPUs with GUI
Stars: ✭ 34 (-26.09%)
coreThe XP Framework is an all-purpose, object oriented PHP framework.
Stars: ✭ 13 (-71.74%)
tntA 2d Game Engine written in C++20.
Stars: ✭ 30 (-34.78%)
REInferRuntime Extended Inference for json data.
Stars: ✭ 23 (-50%)
discord.vDiscord Bot Framework written in V
Stars: ✭ 83 (+80.43%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+47.83%)
MoltenEngineA spare-time C# .NET 6 game engine project. Cross-platform, multi-threaded.
Stars: ✭ 113 (+145.65%)
TypeGame👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+382.61%)
anders🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-89.13%)
ButOSXCSGO Cheat Base for MacOSX. Written in C++ & Objective C. Menu Powered by ImGui. Includes Apple TouchBar API.
Stars: ✭ 58 (+26.09%)
cicadaCicada Language
Stars: ✭ 9 (-80.43%)
OpenFNaFAn Open Source Re-implementation of Scott Cawthon's Five Nights at Freddy's. Written in C. Licensed under MIT. (WiP)
Stars: ✭ 37 (-19.57%)
wipfred🚧Manage your wip.chat todos with alfred
Stars: ✭ 23 (-50%)
pyrserA PEG Parsing Tool
Stars: ✭ 32 (-30.43%)
torrentBittorrent library implemented in pure Dart. [WIP, early development stage]
Stars: ✭ 26 (-43.48%)
coq-talFormalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-67.39%)
chat-ui💬 rich message handling chat interface for bot projects
Stars: ✭ 19 (-58.7%)
react-todoA super accessible and easy to use todo list.
Stars: ✭ 13 (-71.74%)
diamond dropsWIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programming language
Stars: ✭ 54 (+17.39%)
visual-graph-explorerA simple graph explorer leveraging yFiles for HTML, neo4j bolt, implemented using VueJS and Vuetify
Stars: ✭ 13 (-71.74%)
rust osMy hobby operating system microkernel written in Rust
Stars: ✭ 33 (-28.26%)
snk.dev-assistantAssistant for code development with advanced machine learning features
Stars: ✭ 14 (-69.57%)
dist-detectTry to determine what Linux/Unix distribution is running on a remote host and get a hint if security updates are applied.
Stars: ✭ 14 (-69.57%)
cylon-debTUI menu driven bash shell script to update and maintain a Debian based Linux distro.
Stars: ✭ 23 (-50%)
ui5-cap-event-appShowcase of SAP Cloud Application Programming Model and OData V4 with draft mode in a freestyle SAPUI5 app and an SAP Fiori elements app.
Stars: ✭ 70 (+52.17%)