All Projects → f-omega-mu → Similar Projects or Alternatives

65 Open source projects that are alternatives of or similar to f-omega-mu

tix
[WIP] A type system for nix
Stars: ✭ 59 (+28.26%)
Mutual labels:  wip, type-system
Expo-Super-Mario-World
Native Super Mario World in Expo
Stars: ✭ 24 (-47.83%)
Mutual labels:  wip
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+6560.87%)
Mutual labels:  type-system
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+6752.17%)
Mutual labels:  type-system
OctoPrint-Octoremote
A hardware remote for Octoprint controlled 3D Printers
Stars: ✭ 23 (-50%)
Mutual labels:  wip
Glass
Gui Library written in Crystal
Stars: ✭ 24 (-47.83%)
Mutual labels:  wip
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (+195.65%)
Mutual labels:  type-system
layout
Graph layouting package
Stars: ✭ 19 (-58.7%)
Mutual labels:  wip
pactum
Create API specifications and documentation using Python
Stars: ✭ 24 (-47.83%)
Mutual labels:  wip
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-4.35%)
Mutual labels:  type-system
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-73.91%)
Mutual labels:  type-system
pepatch
A hacky tool to patch PE binaries.
Stars: ✭ 21 (-54.35%)
Mutual labels:  wip
Bear-Blog-Engine
Modern blog engine made with Go and the Next.js framework
Stars: ✭ 23 (-50%)
Mutual labels:  wip
Reading
A list of computer-science readings I recommend
Stars: ✭ 1,919 (+4071.74%)
Mutual labels:  type-system
laravel-saas
📧 💵 Email activation, two-factor authentication, subscription billing, team billing, API token authentication, admin user impersonation and more.
Stars: ✭ 19 (-58.7%)
Mutual labels:  wip
typeql
TypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+241.3%)
Mutual labels:  type-system
rtl-everywhere
[WIP] React Testing Library everywhere
Stars: ✭ 27 (-41.3%)
Mutual labels:  wip
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-56.52%)
Mutual labels:  type-system
wip
WIP & naenae: CLI utilities to easily manage Work In Progress with Git
Stars: ✭ 46 (+0%)
Mutual labels:  wip
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (-23.91%)
Mutual labels:  type-system
R3ditor
An open-source project created to reverse-engineering some Resident Evil 3 files
Stars: ✭ 19 (-58.7%)
Mutual labels:  wip
plt-research
A collection of PLT researching
Stars: ✭ 29 (-36.96%)
Mutual labels:  type-system
ronin-exploits
A Ruby micro-framework for writing and running exploits
Stars: ✭ 36 (-21.74%)
Mutual labels:  wip
WebinoImageThumb
✂️ Webino™ Image thumbnailer for Zend Framework [LTS] http://webino.github.io/WebinoImageThumb
Stars: ✭ 40 (-13.04%)
Mutual labels:  wip
Truth
A Domain Representation Language
Stars: ✭ 23 (-50%)
Mutual labels:  type-system
backyard birdbot
This 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%)
Mutual labels:  hobby-project
go-external-ip
a Golang library to get your external ip from multiple services
Stars: ✭ 55 (+19.57%)
Mutual labels:  wip
ng-leaflet
Angular 2 component for Leaflet 1.x (WIP - Help Wanted)
Stars: ✭ 16 (-65.22%)
Mutual labels:  wip
KanColle-English-Patch-KCCP
English Patch for the original KanColle browser game, to be used with KCCacheProxy. Translates most of the game into english.
Stars: ✭ 28 (-39.13%)
Mutual labels:  wip
AminoREAPI
📱 An unofficial (and reversed enginnered!) client library for http://aminoapps.com/
Stars: ✭ 34 (-26.09%)
Mutual labels:  wip
Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (+6306.52%)
Mutual labels:  type-system
VSCode-Bedrock-Development-Extension
An 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%)
Mutual labels:  wip
Type Challenges
Collection of TypeScript type challenges with online judge
Stars: ✭ 10,812 (+23404.35%)
Mutual labels:  type-system
Macaron
A sweet hobby made operating system written in C++ for x86 CPUs with GUI
Stars: ✭ 34 (-26.09%)
Mutual labels:  hobby-project
core
The XP Framework is an all-purpose, object oriented PHP framework.
Stars: ✭ 13 (-71.74%)
Mutual labels:  type-system
tnt
A 2d Game Engine written in C++20.
Stars: ✭ 30 (-34.78%)
Mutual labels:  wip
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-50%)
Mutual labels:  type-system
discord.v
Discord Bot Framework written in V
Stars: ✭ 83 (+80.43%)
Mutual labels:  wip
Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+47.83%)
Mutual labels:  type-system
MoltenEngine
A spare-time C# .NET 6 game engine project. Cross-platform, multi-threaded.
Stars: ✭ 113 (+145.65%)
Mutual labels:  wip
TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+382.61%)
Mutual labels:  type-system
prometheus to clickhouse
Prometheus to Clickhouse Adapter
Stars: ✭ 14 (-69.57%)
Mutual labels:  wip
anders
🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-89.13%)
Mutual labels:  type-system
ButOSX
CSGO Cheat Base for MacOSX. Written in C++ & Objective C. Menu Powered by ImGui. Includes Apple TouchBar API.
Stars: ✭ 58 (+26.09%)
Mutual labels:  wip
cicada
Cicada Language
Stars: ✭ 9 (-80.43%)
Mutual labels:  type-system
OpenFNaF
An Open Source Re-implementation of Scott Cawthon's Five Nights at Freddy's. Written in C. Licensed under MIT. (WiP)
Stars: ✭ 37 (-19.57%)
Mutual labels:  wip
type-operators-rs
A macro for defining type operators in Rust.
Stars: ✭ 56 (+21.74%)
Mutual labels:  type-system
wipfred
🚧Manage your wip.chat todos with alfred
Stars: ✭ 23 (-50%)
Mutual labels:  wip
pyrser
A PEG Parsing Tool
Stars: ✭ 32 (-30.43%)
Mutual labels:  type-system
torrent
Bittorrent library implemented in pure Dart. [WIP, early development stage]
Stars: ✭ 26 (-43.48%)
Mutual labels:  wip
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-67.39%)
Mutual labels:  type-system
chat-ui
💬 rich message handling chat interface for bot projects
Stars: ✭ 19 (-58.7%)
Mutual labels:  wip
react-todo
A super accessible and easy to use todo list.
Stars: ✭ 13 (-71.74%)
Mutual labels:  hobby-project
diamond drops
WIP 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%)
Mutual labels:  wip
visual-graph-explorer
A simple graph explorer leveraging yFiles for HTML, neo4j bolt, implemented using VueJS and Vuetify
Stars: ✭ 13 (-71.74%)
Mutual labels:  wip
rust os
My hobby operating system microkernel written in Rust
Stars: ✭ 33 (-28.26%)
Mutual labels:  hobby-project
snk.dev-assistant
Assistant for code development with advanced machine learning features
Stars: ✭ 14 (-69.57%)
Mutual labels:  wip
dist-detect
Try 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%)
Mutual labels:  wip
cylon-deb
TUI menu driven bash shell script to update and maintain a Debian based Linux distro.
Stars: ✭ 23 (-50%)
Mutual labels:  wip
ui5-cap-event-app
Showcase 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%)
Mutual labels:  wip
1-60 of 65 similar projects