Skip to content
View richardlford's full-sized avatar
17 followers · 55 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report richardlford

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

  • my_lean_game Public

    Updated Jan 18, 2024

  • dune Public

    Forked from ocaml/dune

    A composable build system for OCaml.

    OCaml MIT License Updated Jun 1, 2023

  • ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml Other Updated May 18, 2023

  • testactions Public

    Test github actions

    MIT License Updated May 1, 2023

  • build-path-prefix-map-spec Public

    Clone from salsa repository

    C Updated Mar 19, 2023

  • ocamlvisit Public

    Utilities for visiting OCaml binary files

    OCaml Updated Mar 13, 2023

  • soc_compat Public

    Standalone OCaml Compatibility module

    Updated Mar 13, 2023

  • py-utils Public

    A collection of handy utilities written in Python

    Python MIT License Updated Mar 12, 2023

  • ocamledit Public

    Tool to edit OCaml binary files

    OCaml 2 Updated Mar 10, 2023

  • socamldebug Public

    Standalone OCaml debugger

    OCaml 4 Other Updated Mar 10, 2023

  • dot-emacs-d Public

    Emacs Lisp MIT License Updated Mar 6, 2023

  • ocamldumper Public

    Program to dump contents of various ocaml file formats

    OCaml 2 MIT License Updated Mar 5, 2023

  • form Public

    Forked from vermaseren/form

    The FORM project for symbolic manipulation of very big expressions

    C GNU General Public License v3.0 Updated Dec 23, 2022

  • RubiksCube_Solver Public

    Forked from bellerb/RubiksCube_Solver

    Rubik's cube solver written in python 3 for the console

    Python MIT License Updated Nov 27, 2022

  • ocamlearlybird Public

    Forked from hackwaly/ocamlearlybird

    OCaml debug adapter

    OCaml GNU Affero General Public License v3.0 Updated Sep 3, 2022

  • retdec-regression-tests Public

    Forked from avast/retdec-regression-tests

    A collection of regression tests for RetDec and associated tools.

    Python MIT License Updated Aug 4, 2022

  • retdec Public

    Forked from avast/retdec

    RetDec is a retargetable machine-code decompiler based on LLVM.

    C++ MIT License Updated Aug 4, 2022

  • pyev3dev2 Public

    Robotics programs for EV3 written in Python using the python-ev3dev2 library

    Python MIT License Updated Aug 1, 2022

  • capstone Public

    Forked from capstone-engine/capstone

    Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

    C Other Updated Jul 17, 2022

  • ikos Public

    Forked from NASA-SW-VnV/ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    C++ Other Updated Jun 23, 2022

  • formalreview Public

    Repository for review of formal methods

    2 Updated Mar 16, 2022

  • mathlib4 Public

    Forked from leanprover-community/mathlib4

    Work in progress mathlib port for lean 4

    Lean Apache License 2.0 Updated Mar 15, 2022

  • RlfLean4Lib Public

    Experiments in using Lean 4

    MIT License Updated Mar 15, 2022

  • lean3port Public

    Forked from leanprover-community/lean3port

    Stub for downloading mathport artifacts for Lean 3

    Lean Updated Mar 2, 2022

  • chess Public

    Exercise in implementing chess in HTML and Javascript/Typescript

    TypeScript Updated Feb 15, 2022

  • theorem_proving_in_lean4 Public

    Forked from leanprover/theorem_proving_in_lean4

    Theorem Proving in Lean 4

    JavaScript Apache License 2.0 Updated Jan 16, 2022

  • Snap Public

    Forked from jmoenig/Snap

    a visual programming language inspired by Scratch

    JavaScript GNU Affero General Public License v3.0 Updated Jan 10, 2022

  • lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean Apache License 2.0 Updated Dec 13, 2021

  • mcsema Public

    Forked from lifting-bits/mcsema

    Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

    C++ GNU Affero General Public License v3.0 Updated Dec 10, 2021

  • remill Public

    Forked from lifting-bits/remill

    Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

    C++ Apache License 2.0 Updated Dec 9, 2021