Skip to content
View Boscop's full-sized avatar
149 followers · 326 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Organizations

@RustAudio @rust-dsp

Block or report Boscop

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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

7 stars written in Idris
Clear filter

idris-lang / Idris2

A purely functional programming language with first class types

Idris 2,507 375 Updated Oct 5, 2024

idris-hackers / software-foundations

Software Foundations in Idris

Idris 452 34 Updated May 15, 2019

andorp / order-taking

Idris version of Domain Modeling Made Functional Book.

Idris 132 11 Updated Oct 25, 2021

leon-vv / Todo

Idris Todo web application example

Idris 42 3 Updated Jan 30, 2023

mattpolzin / harmony

Harmonize with coworkers around GitHub reviewing.

Idris 20 Updated Sep 29, 2024

stefan-hoeck / idris2-dom-mvc

Single Page Web Applications in Idris

Idris 18 2 Updated Oct 10, 2024

andorp / TaPL

TaPL implementation bits in Idris2

Idris 15 2 Updated Feb 27, 2022