Skip to content
View b-studios's full-sized avatar

Highlights

  • Pro

Organizations

@ps-mr @koka-lang

Block or report b-studios

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
Showing results
Scheme 3 Updated Sep 12, 2024

A systems programming language with lexical effect handlers

Rust 13 1 Updated Dec 5, 2024

Quine Museum

Eiffel 331 9 Updated Dec 20, 2024

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 51,668 3,250 Updated Dec 20, 2024

DroidAgent: Intent-Driven Mobile GUI Testing with Autonomous LLM Agents

Jupyter Notebook 23 2 Updated Mar 12, 2024

DSPy: The framework for programming—not prompting—language models

Python 20,358 1,536 Updated Dec 19, 2024

Programming Languages I Lecture Notes

Shell 10 1 Updated Jun 7, 2024

An experimental mdbook backend for creating EPUB documents.

Rust 401 47 Updated Oct 30, 2024

A sbt plugin for creating distributable Scala packages.

Scala 496 76 Updated Dec 17, 2024

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Python 37,113 3,245 Updated Aug 17, 2024

A language with lexical effect handlers and lightweight effect polymorphism

Scala 337 30 Updated Dec 20, 2024

Java source code of an application which can play standard Midi files like Jean Haury's metapiano

Java 2 Updated Apr 14, 2024

Library to talk to IKEA Trådfri Gateways without external binaries

TypeScript 267 30 Updated Aug 29, 2024

Benchmarking algebraic effect handler implementations

C 24 Updated Jun 6, 2021

Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effects

JavaScript 97 8 Updated Nov 11, 2022

Tiny DOM binding library for Scala.js

Scala 226 24 Updated Nov 13, 2022

Ott formalization of the DOT calculus

Coq 3 1 Updated Dec 8, 2017

The Penn Locally Nameless Metatheory Library

Coq 73 23 Updated Jun 23, 2024

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Haskell 30 9 Updated Oct 22, 2024

The Ott tool for writing definitions of programming languages and calculi

OCaml 350 45 Updated Nov 28, 2024

The Ballerina Programming Language

Ballerina 3,683 753 Updated Dec 20, 2024

Mac DSLR webcam plugin for using DSLRs for video conferencing and streaming.

Objective-C 187 19 Updated May 28, 2023

LAR-19642-1: Visual Studio Code Extension for PVS

TypeScript 41 9 Updated Oct 21, 2024

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq 506 22 Updated Aug 13, 2024

Code from the book "Types and Programming Languages" in Scala

Scala 177 22 Updated Oct 22, 2021

📄 Awesome CV is LaTeX template for your outstanding job application

TeX 23,423 4,836 Updated Aug 8, 2024

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

TypeScript 46,641 5,073 Updated Dec 19, 2024

Lab Materials for MIT 6.S191: Introduction to Deep Learning

Jupyter Notebook 7,291 3,670 Updated Aug 2, 2024

A pure type system implemented in OCaml

OCaml 77 1 Updated Jan 3, 2021

A modern proof language

Haskell 3,593 142 Updated Dec 9, 2024
Next
Showing results