Skip to content
View rymaju's full-sized avatar

Organizations

@Code-4-Community

Block or report rymaju

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

The runtime verification QEA tool

Java 4 3 Updated Jun 15, 2020

The Racket repository

Racket 5,194 696 Updated Aug 12, 2026

Prevents you from committing secrets and credentials into git repositories

Shell 13,371 1,254 Updated Sep 17, 2025

A Racket optics library including a match-like DSL for immutable updates

Racket 12 1 Updated Oct 6, 2025

FauxPilot - an open-source alternative to GitHub Copilot server

Python 14,707 641 Updated Apr 9, 2024

Obtain GraphQL API schema even if the introspection is disabled

Python 1,502 134 Updated Dec 5, 2025

QuickCheck inspired property-based testing for OCaml.

OCaml 408 47 Updated Jun 29, 2026

Asynchronous HTTP microservices

TypeScript 10,623 453 Updated May 21, 2026

Zod Router

TypeScript 185 7 Updated Nov 8, 2021

Sketch Driven Regular Expression Generation.

Python 17 4 Updated Apr 26, 2023
Racket 12 Updated Jul 19, 2026

Code for the paper Neural Generation of Regular Expressions from Natural Language with Minimal Domain Knowledge (EMNLP 2016). http://arxiv.org/abs/1608.03000

Python 429 66 Updated May 31, 2017

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Python 164,065 34,237 Updated Aug 13, 2026

A linter for Racket.

Racket 48 4 Updated Jul 23, 2026

Fall 22 version of CSAS 41117

HTML 2 Updated Dec 13, 2022

Selfhost your Emacs and access it in browser

Shell 585 38 Updated Sep 22, 2025

Streaming JSON parser in Javascript for Node.js and the browser

TypeScript 212 14 Updated Aug 12, 2026

Papers from the computer science community to read and discuss.

Shell 108,713 6,415 Updated Jul 1, 2026

Koka language compiler and interpreter

Koka 4,017 217 Updated Aug 10, 2026

Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.

Racket 30 5 Updated Dec 5, 2020

10 papers that all PhD students in programming languages ought to know, for some value of 10

944 29 Updated Nov 12, 2019

Programming Language Theory λΠ

CSS 5,356 344 Updated Dec 2, 2024

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

C 951 70 Updated Nov 13, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,340 439 Updated Nov 21, 2024
Racket 139 13 Updated Jun 2, 2022

🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested

JavaScript 72 2 Updated Aug 11, 2026

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

Scheme 368 44 Updated May 1, 2021

An ultrasmall (~70 loc) React wrapper written in RacketScript

Racket 61 5 Updated Apr 2, 2025

A Sentry SDK for Racket.

Racket 9 1 Updated Mar 30, 2026

The free and privacy-friendly screen recorder with no limits 🎥

JavaScript 18,481 1,491 Updated Aug 7, 2026
Next