[go: up one dir, main page]

Skip to content
View smunix's full-sized avatar

Block or report smunix

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

A scalable, distributed, collaborative, document-graph database, for the realtime web

Rust 27,395 892 Updated Nov 5, 2024

A RealWorld app implementation as a fullstack Rust project using Axum (back-end) and Dioxus (front-end).

Rust 88 7 Updated Feb 12, 2024

A refreshingly simple data-driven game engine built in Rust

Rust 36,092 3,563 Updated Nov 5, 2024

A mostly functional haskell compiler written in rust

Rust 306 28 Updated Dec 23, 2023

compile rust-like source code to x86 assembly

Rust 14 1 Updated Feb 11, 2024

Robyn is a Super Fast Async Python Web Framework with a Rust runtime.

Python 4,400 227 Updated Nov 4, 2024

Ordo: A minimalist language with row polymorphism

Rust 80 3 Updated Jul 14, 2024

Multi-tenant Nix Binary Cache

Rust 1,020 77 Updated Oct 30, 2024

NixOS configurations for my personal systems

Nix 71 2 Updated Nov 5, 2024

Reifies arbitrary Haskell terms into types that can be reflected back into terms

Haskell 102 24 Updated Oct 30, 2024

Haskell interactive serverside web framework inspired by HTMX

Haskell 85 6 Updated Nov 3, 2024

Haskell implemented with combinators

Haskell 362 25 Updated Oct 28, 2024

Kayla Salumu is learning Haskell programming

Haskell 1 Updated Jun 3, 2023

A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

Haskell 175 16 Updated Jan 12, 2023

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 34,790 2,542 Updated Nov 5, 2024

Earley Parsing with Monadic Combinators

Haskell 3 1 Updated Nov 19, 2020

Hey! Hey! Can u rel8?

Haskell 154 39 Updated Oct 22, 2024

👾 NixOS configuration

Nix 864 74 Updated Oct 27, 2024

A VM That is Dynamic and Fast

C 1,567 58 Updated Nov 4, 2024

Write your GDB scripts in Haskell!

Haskell 27 2 Updated Dec 13, 2021

https://adventofcode.com/

Rust 2 Updated Jan 18, 2023
Haskell 41 4 Updated Jul 2, 2017

Some functional pearls from time to time

Haskell 8 Updated Aug 6, 2019

ICFP tutorial

Haskell 40 1 Updated Jul 31, 2021

Research language for array processing in the Haskell/ML family

Haskell 1,583 107 Updated Oct 6, 2024

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Haskell 1,246 38 Updated Oct 6, 2024

Nx-powered Neural Networks

Elixir 1,543 104 Updated Nov 2, 2024

advanced compilers

HTML 751 158 Updated Sep 3, 2024

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Haskell 218 17 Updated Aug 20, 2018

Trying to write an understandable implementation of Haskell, in Haskell

Haskell 120 7 Updated Feb 7, 2021
Next