minimum elm + phoenix setup, with webpack
Repository Index
47,133 repositories indexed
241–264 of 282 · Most stars
☀️ A 17kb Preact & Redux based Progressive Web App that provides relevant information to the user outside of the tab.
The Crystal Programming Language Koans
- crystal
- koans
- test-suite
- hacktoberfest
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
A Nodeschool type workshop for Functional Reactive Programming and Bacon.js
A collection of awesome Haskell videos. Inspired by awesome projects line.
- awesome
- haskell
- videos
- awesome-list
A showcase of awesome programming language projects and resources written in Elm.
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
This project presents a Python-based spam detector program that utilizes the Naive Bayes approach to classify emails as either spam or ham. The system is designed to accurately and efficiently identify spam messages, providing a useful tool for individuals and organizations seeking to manage their email inboxes more effectively.
- anaconda
- jupyter-notebook
- python
Ruby Mixture with other Programming Languages
- ruby
- rubyml
- rubynlp
- rubydatascience
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Examples of scripts for accounts, dApps and assets using RIDE programming language.
- ride
- smart-contracts
- dapp-example
- dapp
A Demonstration Of HackerNews Progressive Web App Powered By Glimmer.js
- glimmer
- glimmerjs
- pwa
- progressive-web-app
Learning to program in Lua using "Torch" and other useful libraries
📚 Update a pinned gist to show your currently reading books and progress on Goodreads
- pinned-gist
- goodreads
- gist
- books
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
An example of an eBPF program hooking into the kill tracepoint
The swift-hack-pack is a collection of Swift Playground files that teach Apple's new Swift programming language. It's based on Swift 2.2 and Xcode 7.3.1.
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Shopping List is an Offline First demo Progressive Web App built using Preact and PouchDB.
- demo-apps
- offline-first
- progressive-web-apps
- preact
Generate, encode, and decode UUIDs v1 with fast or cryptographic-quality random node identifier.
- manipulating-uuids
- guid
- uuid-generator
- uuid1
Example build system for making mixed C/Ocaml binaries where the main program is in C
Useful Erlang Functions Library
- erlang
- binaries
- lists
- html-entities
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate